Searched refs:read_cr3 (Results 1 – 6 of 6) sorted by relevance
78 static inline unsigned long read_cr3(void) in read_cr3() function
44 crs[3] = read_cr3(); in read_registers()186 unsigned long pfn, mfn = read_cr3() >> PAGE_SHIFT; in show_page_walk()
1192 mfn = (read_cr3()) >> PAGE_SHIFT; in handle_memadd_fault()
91 state.cr3 = read_cr3(); in efi_rs_enter()143 (read_cr3() == virt_to_maddr(efi_l4_pgtable)); in efi_rs_using_pgtables()
54 ASSERT(read_cr3() == __pa(idle_pg_table)); in mapcache_current_vcpu()
211 mfn = read_cr3() >> PAGE_SHIFT; in compat_show_guest_stack()284 vcpu = maddr_get_owner(read_cr3()) == v->domain ? v : NULL; in show_guest_stack()1177 unsigned long mfn, cr3 = read_cr3(); in __page_fault_type()
Completed in 13 milliseconds