HOST_HFGITR2_EL2 - FreeBSD

Symbol: HOST_HFGITR2_EL2

sys/arm64/vmm/vmm_hyp.c

hypctx_read_sys_reg(hypctx, HOST_HFGITR2_EL2));

sys/arm64/vmm/vmm_reset.c

*hypctx_sys_reg(el2ctx, HOST_HFGITR2_EL2) = 0;