hv_vcpu->cpuid_cache.features_ebx & HV_DEBUGGING;
        case HVCALL_FLUSH_VIRTUAL_ADDRESS_LIST_EX:
        case HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE_EX:
+               if (!(hv_vcpu->cpuid_cache.enlightenments_eax &
+                     HV_X64_EX_PROCESSOR_MASKS_RECOMMENDED))
+                       return false;
+               fallthrough;
        case HVCALL_FLUSH_VIRTUAL_ADDRESS_LIST:
        case HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE:
                return hv_vcpu->cpuid_cache.enlightenments_eax &
                        HV_X64_REMOTE_TLB_FLUSH_RECOMMENDED;
        case HVCALL_SEND_IPI_EX:
+               if (!(hv_vcpu->cpuid_cache.enlightenments_eax &
+                     HV_X64_EX_PROCESSOR_MASKS_RECOMMENDED))
+                       return false;
+               fallthrough;
        case HVCALL_SEND_IPI:
                return hv_vcpu->cpuid_cache.enlightenments_eax &
                        HV_X64_CLUSTER_IPI_RECOMMENDED;