__read_cr3
return __read_cr3() & CR3_ADDR_MASK;
cr3 = __read_cr3();
cr3 = __read_cr3();
write_cr3(__read_cr3() | lam);
cr3 = __read_cr3();
unsigned long cr3 = __read_cr3();
VM_BUG_ON(cr3 != __read_cr3());
if (WARN_ON_ONCE(__read_cr3() != build_cr3(prev->pgd, prev_asid,
ctxt->cr3 = __read_cr3();