Searched refs:mmutable_p (Results 1 – 5 of 5) sorted by relevance
59 rt_uint32_t mmutable_p; in rt_hw_secondary_cpu_bsp_start() local60 mmutable_p = (rt_uint32_t)MMUTable + (rt_uint32_t)PV_OFFSET ; in rt_hw_secondary_cpu_bsp_start()61 rt_hw_mmu_switch((void*)mmutable_p) ; in rt_hw_secondary_cpu_bsp_start()
65 rt_uint32_t mmutable_p = 0; in rt_hw_board_init() local68 mmutable_p = (rt_uint32_t)MMUTable + (rt_uint32_t)PV_OFFSET ; in rt_hw_board_init()69 rt_hw_mmu_switch((void*)mmutable_p); in rt_hw_board_init()
113 rt_uint32_t mmutable_p; in rt_hw_secondary_cpu_bsp_start() local114 mmutable_p = (rt_uint32_t)MMUTable + (rt_uint32_t)PV_OFFSET ; in rt_hw_secondary_cpu_bsp_start()115 rt_hw_mmu_switch((void*)mmutable_p) ; in rt_hw_secondary_cpu_bsp_start()
222 rt_uint32_t mmutable_p = 0; in rt_hw_board_aarch32_init() local226 mmutable_p = (rt_uint32_t)MMUTable + (rt_uint32_t)PV_OFFSET ; in rt_hw_board_aarch32_init()227 rt_hw_mmu_switch((void*)mmutable_p) ; in rt_hw_board_aarch32_init()
107 rt_uint32_t mmutable_p = 0; in rt_hw_board_init() local110 mmutable_p = (rt_uint32_t)MMUTable + (rt_uint32_t)PV_OFFSET ; in rt_hw_board_init()111 rt_hw_mmu_switch((void*)mmutable_p); in rt_hw_board_init()
Completed in 11 milliseconds