Searched refs:ptb (Results 1 – 4 of 4) sorted by relevance
15 void rt_hw_cpu_dump_page_table_2nd(rt_uint32_t *ptb) in rt_hw_cpu_dump_page_table_2nd() argument22 rt_uint32_t pte2 = ptb[i]; in rt_hw_cpu_dump_page_table_2nd()59 void rt_hw_cpu_dump_page_table(rt_uint32_t *ptb) in rt_hw_cpu_dump_page_table() argument64 rt_kprintf("page table@%p\n", ptb); in rt_hw_cpu_dump_page_table()67 rt_uint32_t pte1 = ptb[i]; in rt_hw_cpu_dump_page_table()
47 void rt_hw_cpu_dump_page_table_2nd(rt_uint32_t *ptb) in rt_hw_cpu_dump_page_table_2nd() argument54 rt_uint32_t pte2 = ptb[i]; in rt_hw_cpu_dump_page_table_2nd()91 void rt_hw_cpu_dump_page_table(rt_uint32_t *ptb) in rt_hw_cpu_dump_page_table() argument96 rt_kprintf("page table@%p\n", ptb); in rt_hw_cpu_dump_page_table()99 rt_uint32_t pte1 = ptb[i]; in rt_hw_cpu_dump_page_table()
486 - drivers:can correct the logic of disabling re-transmission for ptb & stb.
Completed in 17 milliseconds