Symbol: __hypctx_vncr_sysreg
sys/arm64/vmm/arm64.h
308
#define __hypctx_vncr_sysreg(hypctx, reg) \
sys/arm64/vmm/vmm_nvhe.c
39
#define __hypctx_vncr_sysreg(hypctx, reg) \