return NULL;
}
+static int dummy_get_pod_target(struct domain *d)
+{
+ return 0;
+}
+
+static int dummy_set_pod_target(struct domain *d)
+{
+ return 0;
+}
+
+static int dummy_get_device_group (uint32_t machine_bdf)
+{
+ return 0;
+}
+
static int dummy_test_assign_device (uint32_t machine_bdf)
{
return 0;
return 0;
}
+static int dummy_efi_call(void)
+{
+ return 0;
+}
+
static int dummy_acpi_sleep (void)
{
return 0;
return 0;
}
+static int dummy_unbind_pt_irq (struct domain *d)
+{
+ return 0;
+}
+
static int dummy_pin_mem_cacheattr (struct domain *d)
{
return 0;
set_to_dummy_if_null(ops, alloc_security_evtchn);
set_to_dummy_if_null(ops, free_security_evtchn);
set_to_dummy_if_null(ops, show_security_evtchn);
+ set_to_dummy_if_null(ops, get_pod_target);
+ set_to_dummy_if_null(ops, set_pod_target);
set_to_dummy_if_null(ops, memory_adjust_reservation);
set_to_dummy_if_null(ops, memory_stat_reservation);
set_to_dummy_if_null(ops, iomem_permission);
set_to_dummy_if_null(ops, pci_config_permission);
+ set_to_dummy_if_null(ops, get_device_group);
set_to_dummy_if_null(ops, test_assign_device);
set_to_dummy_if_null(ops, assign_device);
set_to_dummy_if_null(ops, deassign_device);
set_to_dummy_if_null(ops, physinfo);
set_to_dummy_if_null(ops, platform_quirk);
set_to_dummy_if_null(ops, firmware_info);
+ set_to_dummy_if_null(ops, efi_call);
set_to_dummy_if_null(ops, acpi_sleep);
set_to_dummy_if_null(ops, change_freq);
set_to_dummy_if_null(ops, getidletime);
set_to_dummy_if_null(ops, remove_from_physmap);
set_to_dummy_if_null(ops, sendtrigger);
set_to_dummy_if_null(ops, bind_pt_irq);
+ set_to_dummy_if_null(ops, unbind_pt_irq);
set_to_dummy_if_null(ops, pin_mem_cacheattr);
set_to_dummy_if_null(ops, ext_vcpucontext);
set_to_dummy_if_null(ops, vcpuextstate);
return domain_has_xen(current->domain, XEN__FIRMWARE);
}
+static int flask_efi_call(void)
+{
+ return domain_has_xen(current->domain, XEN__FIRMWARE);
+}
+
static int flask_acpi_sleep(void)
{
return domain_has_xen(current->domain, XEN__SLEEP);
.physinfo = flask_physinfo,
.platform_quirk = flask_platform_quirk,
.firmware_info = flask_firmware_info,
+ .efi_call = flask_efi_call,
.acpi_sleep = flask_acpi_sleep,
.change_freq = flask_change_freq,
.getidletime = flask_getidletime,