pub const MSR_EFER: u64 = 0xc000_0080;
Extended Feature Enable Register MSR number.
MSR number used with the rdmsr and wrmsr instructions to read/write the EFER model specific register.
rdmsr
wrmsr
EFER