Searched refs:write_cr2 (Results 1 – 4 of 4) sorted by relevance
160 static __always_inline void write_cr2(unsigned long x) in write_cr2() function
602 write_cr2(this_cpu_read(nmi_cr2)); in DEFINE_IDTENTRY_RAW() 733 write_cr2(this_cpu_read(nmi_cr2)); in DEFINE_FREDENTRY_NMI()
216 write_cr2(ctxt->cr2); in __restore_processor_state()
2187 pv_ops.mmu.write_cr2 = xen_write_cr2; in xen_leave_lazy_mmu()