extern hv_return_t hv_vm_config_get_el2_supported(bool * _Nonnull el2_supported)
extern hv_return_t hv_vm_config_get_el2_enabled(hv_vm_config_t _Nonnull config, bool * _Nonnull el2_enabled)
extern hv_return_t hv_vm_config_set_el2_enabled(hv_vm_config_t _Nonnull config, bool el2_enabled)
extern hv_return_t hv_gic_create(hv_gic_config_t _Nonnull gic_config)
extern hv_return_t hv_gic_set_spi(uint32_t intid, bool level)
extern hv_return_t hv_gic_send_msi(hv_ipa_t address, uint32_t intid)
extern hv_return_t hv_gic_get_distributor_reg(hv_gic_distributor_reg_t reg, uint64_t * _Nonnull value)
extern hv_return_t hv_gic_set_distributor_reg(hv_gic_distributor_reg_t reg, uint64_t value)
extern hv_return_t hv_gic_get_redistributor_base(hv_vcpu_t vcpu, hv_ipa_t * _Nonnull redistributor_base_address)
extern hv_return_t hv_gic_get_redistributor_reg(hv_vcpu_t vcpu, hv_gic_redistributor_reg_t reg, uint64_t * _Nonnull value)
extern hv_return_t hv_gic_set_redistributor_reg(hv_vcpu_t vcpu, hv_gic_redistributor_reg_t reg, uint64_t value)
extern hv_return_t hv_gic_get_icc_reg(hv_vcpu_t vcpu, hv_gic_icc_reg_t reg, uint64_t * _Nonnull value)
extern hv_return_t hv_gic_set_icc_reg(hv_vcpu_t vcpu, hv_gic_icc_reg_t reg, uint64_t value)
extern hv_return_t hv_gic_get_ich_reg(hv_vcpu_t vcpu, hv_gic_ich_reg_t reg, uint64_t * _Nonnull value)
extern hv_return_t hv_gic_set_ich_reg(hv_vcpu_t vcpu, hv_gic_ich_reg_t reg, uint64_t value)
extern hv_return_t hv_gic_get_icv_reg(hv_vcpu_t vcpu, hv_gic_icv_reg_t reg, uint64_t * _Nonnull value)
extern hv_return_t hv_gic_set_icv_reg(hv_vcpu_t vcpu, hv_gic_icv_reg_t reg, uint64_t value)
extern hv_return_t hv_gic_get_msi_reg(hv_gic_msi_reg_t reg, uint64_t * _Nonnull value)
extern hv_return_t hv_gic_set_msi_reg(hv_gic_msi_reg_t reg, uint64_t value)
extern hv_return_t hv_gic_set_state(const void * _Nonnull gic_state_data, size_t gic_state_size)
extern hv_return_t hv_gic_reset()
extern hv_gic_state_t _Nonnull hv_gic_state_create(void)
extern hv_return_t hv_gic_state_get_size(hv_gic_state_t _Nonnull state, size_t * _Nonnull gic_state_size)
extern hv_return_t hv_gic_state_get_data(hv_gic_state_t _Nonnull state, void * _Nonnull gic_state_data)
extern hv_return_t hv_gic_get_distributor_size(size_t * _Nonnull distributor_size)
extern hv_return_t hv_gic_get_distributor_base_alignment(size_t * _Nonnull distributor_base_alignment)
extern hv_return_t hv_gic_get_redistributor_region_size(size_t * _Nonnull redistributor_region_size)
extern hv_return_t hv_gic_get_redistributor_size(size_t * _Nonnull redistributor_size)
extern hv_return_t hv_gic_get_redistributor_base_alignment(size_t * _Nonnull redistributor_base_alignment)
extern hv_return_t hv_gic_get_msi_region_size(size_t * _Nonnull msi_region_size)
extern hv_return_t hv_gic_get_msi_region_base_alignment(size_t * _Nonnull msi_region_base_alignment)
extern hv_return_t hv_gic_get_spi_interrupt_range(uint32_t * _Nonnull spi_intid_base, uint32_t * _Nonnull spi_intid_count)
extern hv_return_t hv_gic_get_intid(hv_gic_intid_t interrupt, uint32_t * _Nonnull intid)
extern hv_gic_config_t _Nonnull hv_gic_config_create(void)
extern hv_return_t hv_gic_config_set_distributor_base(hv_gic_config_t _Nonnull config, hv_ipa_t distributor_base_address)
extern hv_return_t hv_gic_config_set_redistributor_base(hv_gic_config_t _Nonnull config, hv_ipa_t redistributor_base_address)
extern hv_return_t hv_gic_config_set_msi_region_base(hv_gic_config_t _Nonnull config, hv_ipa_t msi_region_base_address)
extern hv_return_t hv_gic_config_set_msi_interrupt_range(hv_gic_config_t _Nonnull config, uint32_t msi_intid_base, uint32_t msi_intid_count)