vmm_decode_efer_value
void vmm_decode_efer_value(uint64_t);
case MSR_EFER: vmm_decode_efer_value(val); break;