cpu_has_nx
if (!cpu_has_nx()) {
if (!cpu_has_nx())
if (unlikely(cpu_has_nx() && teid.b56)) {
if (cpu_has_nx())