Symbol: __hypctx_va_sysreg
sys/arm64/vmm/arm64.h
312
#ifndef __hypctx_va_sysreg
sys/arm64/vmm/arm64.h
324
return (__hypctx_va_sysreg(hypctx, reg));