msi_ext_dest_id
x86_init.hyper.msi_ext_dest_id = hv_vtl_msi_ext_dest_id;
bool (*msi_ext_dest_id)(void);
if (x86_init.hyper.msi_ext_dest_id()) {
.init.msi_ext_dest_id = bhyve_ext_dest_id,
ms_hyperv.msi_ext_dest_id =
return ms_hyperv.msi_ext_dest_id;
.init.msi_ext_dest_id = ms_hyperv_msi_ext_dest_id,
.init.msi_ext_dest_id = kvm_msi_ext_dest_id,
.msi_ext_dest_id = bool_x86_init_noop,
.init.msi_ext_dest_id = msi_ext_dest_id,
x86_init.hyper.msi_ext_dest_id())
bool msi_ext_dest_id;