__read_cr4
this_cpu_write(cpu_tlbstate.cr4, __read_cr4());
header->pmode_cr4 = __read_cr4();
saved_cr4 = __read_cr4();
unsigned long cr4 = __read_cr4();
cr4 = __read_cr4();
cr4 = __read_cr4();
cr4 = __read_cr4();
mmu_cr4_features = __read_cr4() & ~X86_CR4_PCIDE;
if (!(__read_cr4() & X86_CR4_VMXE))
(__read_cr4() & X86_CR4_SMEP))
ctxt->cr4 = __read_cr4();