Symbol: __hypctx_vncr_sysreg
sys/arm64/vmm/arm64.h
307
#ifndef __hypctx_vncr_sysreg
sys/arm64/vmm/arm64.h
326
return (__hypctx_vncr_sysreg(hypctx, reg));