extern hv_return_t hv_sme_config_get_max_svl_bytes(size_t * _Nonnull value)
extern hv_return_t hv_vcpu_get_sme_state(hv_vcpu_t vcpu, hv_vcpu_sme_state_t * _Nonnull sme_state)
extern hv_return_t hv_vcpu_set_sme_state(hv_vcpu_t vcpu, const hv_vcpu_sme_state_t * _Nonnull sme_state)
extern hv_return_t hv_vcpu_get_sme_z_reg(hv_vcpu_t vcpu, hv_sme_z_reg_t reg, uint8_t * _Nonnull value, size_t length)
extern hv_return_t hv_vcpu_set_sme_z_reg(hv_vcpu_t vcpu, hv_sme_z_reg_t reg, const uint8_t * _Nonnull value, size_t length)
extern hv_return_t hv_vcpu_get_sme_p_reg(hv_vcpu_t vcpu, hv_sme_p_reg_t reg, uint8_t * _Nonnull value, size_t length)
extern hv_return_t hv_vcpu_set_sme_p_reg(hv_vcpu_t vcpu, hv_sme_p_reg_t reg, const uint8_t * _Nonnull value, size_t length)
extern hv_return_t hv_vcpu_get_sme_za_reg(hv_vcpu_t vcpu, uint8_t * _Nonnull value, size_t length)
extern hv_return_t hv_vcpu_set_sme_za_reg(hv_vcpu_t vcpu, const uint8_t * _Nonnull value, size_t length)
extern hv_return_t hv_vcpu_get_sme_zt0_reg(hv_vcpu_t vcpu, hv_sme_zt0_uchar64_t * _Nonnull value)
extern hv_return_t hv_vcpu_set_sme_zt0_reg(hv_vcpu_t vcpu, const hv_sme_zt0_uchar64_t * _Nonnull value)