Searched refs:__read_cr3 (Results 1 – 8 of 8) sorted by relevance
169 static inline unsigned long __read_cr3(void) in __read_cr3() function
241 return __read_cr3() & CR3_ADDR_MASK; in read_cr3_pa()
128 static inline unsigned long __read_cr3(void) in __read_cr3() function
82 cr3 = __read_cr3(); in __show_regs()
118 cr3 = __read_cr3(); in __show_regs()809 write_cr3(__read_cr3() | lam); in enable_lam_func()
809 if (WARN_ON_ONCE(__read_cr3() != build_cr3(prev->pgd, prev_asid, in switch_mm_irqs_off()1085 unsigned long cr3 = __read_cr3(); in initialize_tlbstate_and_flush()1583 VM_BUG_ON(cr3 != __read_cr3()); in __get_current_cr3_fast()
127 ctxt->cr3 = __read_cr3(); in __save_processor_state()
4527 cr3 = __read_cr3(); in vmx_set_constant_host_state()