X86_CR3_LAM_U57_BIT
return lam << X86_CR3_LAM_U57_BIT;
this_cpu_write(cpu_tlbstate.lam, lam >> X86_CR3_LAM_U57_BIT);
#define X86_CR3_LAM_U57 _BITULL(X86_CR3_LAM_U57_BIT)