Searched refs:x86_get_cr3 (Results 1 – 3 of 3) sorted by relevance
475 DEBUG_ASSERT(x86_get_cr3()); in arch_mmu_unmap()476 init_table_from_cr3 = x86_get_cr3(); in arch_mmu_unmap()534 DEBUG_ASSERT(x86_get_cr3()); in arch_mmu_query()535 current_cr3_val = (map_addr_t)x86_get_cr3(); in arch_mmu_query()562 DEBUG_ASSERT(x86_get_cr3()); in arch_mmu_map()563 current_cr3_val = (map_addr_t)x86_get_cr3(); in arch_mmu_map()603 x86_set_cr3(x86_get_cr3()); in x86_mmu_early_init()
575 DEBUG_ASSERT(x86_get_cr3()); in arch_mmu_unmap()576 current_cr3_val = (addr_t)x86_get_cr3(); in arch_mmu_unmap()635 DEBUG_ASSERT(x86_get_cr3()); in arch_mmu_query()636 current_cr3_val = (addr_t)x86_get_cr3(); in arch_mmu_query()669 DEBUG_ASSERT(x86_get_cr3()); in arch_mmu_map()670 current_cr3_val = (addr_t)x86_get_cr3(); in arch_mmu_map()713 x86_set_cr3(x86_get_cr3()); in x86_mmu_early_init()
178 static inline ulong x86_get_cr3(void) { in x86_get_cr3() function
Completed in 6 milliseconds