Searched refs:disabled_by_bios (Results 1 – 4 of 4) sorted by relevance
1311 int (*disabled_by_bios)(void); member
4325 .disabled_by_bios = is_disabled,
8043 .disabled_by_bios = vmx_disabled_by_bios,
8082 if (ops->disabled_by_bios()) { in kvm_arch_init()