Searched refs:sgx_enabled_in_guest_bios (Results 1 – 1 of 1) sorted by relevance
373 static inline bool sgx_enabled_in_guest_bios(struct kvm_vcpu *vcpu) in sgx_enabled_in_guest_bios() function388 !sgx_enabled_in_guest_bios(vcpu) || !is_paging(vcpu)) { in handle_encls()483 sgx_enabled_in_guest_bios(vcpu)) { in vmx_write_encls_bitmap()