Symbol: sgx_enabled_in_guest_bios
arch/x86/kvm/vmx/sgx.c
389
!sgx_enabled_in_guest_bios(vcpu) || !is_paging(vcpu)) {
arch/x86/kvm/vmx/sgx.c
484
sgx_enabled_in_guest_bios(vcpu)) {