AMD_MSR_EFER 107 kernel/arch/amd64/src/amd64.c write_msr(AMD_MSR_EFER, read_msr(AMD_MSR_EFER) | AMD_NXE); AMD_MSR_EFER 48 kernel/arch/amd64/src/syscall.c write_msr(AMD_MSR_EFER, read_msr(AMD_MSR_EFER) | AMD_SCE);