vmx_emergency_disable_virtualization_cpu
.emergency_disable_virtualization_cpu = vmx_emergency_disable_virtualization_cpu,
void vmx_emergency_disable_virtualization_cpu(void);