Searched refs:write_cr2 (Results 1 – 8 of 8) sorted by relevance
147 static __always_inline void write_cr2(unsigned long x) in write_cr2() function
149 static __always_inline void write_cr2(unsigned long x) in write_cr2() function151 PVOP_VCALL1(mmu.write_cr2, x); in write_cr2()
155 void (*write_cr2)(unsigned long); member
243 .mmu.write_cr2 = pv_native_write_cr2,
558 write_cr2(this_cpu_read(nmi_cr2)); in DEFINE_IDTENTRY_RAW()
1815 write_cr2(ctxt->fi.cr2); in vc_forward_exception()
214 write_cr2(ctxt->cr2); in __restore_processor_state()
2183 .write_cr2 = xen_write_cr2,