Searched refs:__native_read_cr3 (Results 1 – 8 of 8) sorted by relevance
177 *trampoline_32bit = __native_read_cr3() | _PAGE_TABLE_NOENC; in configure_5level_paging()189 src = *(unsigned long *)__native_read_cr3() & PAGE_MASK; in configure_5level_paging()
45 static inline unsigned long __native_read_cr3(void) in __native_read_cr3() function158 return __native_read_cr3(); in __read_cr3()
208 return __native_read_cr3() & CR3_ADDR_MASK; in native_read_cr3_pa()
69 u64 *cr3 = (u64 *)__native_read_cr3(); in efi_5level_switch()
408 native_write_cr3(__native_read_cr3()); in sme_encrypt_kernel()502 native_write_cr3(__native_read_cr3()); in sme_encrypt_kernel()
1219 native_write_cr3(__native_read_cr3()); in native_flush_tlb_local()
112 input->vp_context.cr3 = __native_read_cr3(); in hv_vtl_bringup_vcpu()
245 .mmu.read_cr3 = __native_read_cr3,