Symbol: VA_REGS_START
sys/arm64/vmm/arm64.h
269
uint64_t va_regs[VA_REGS_END - VA_REGS_START - 1];
sys/arm64/vmm/arm64.h
314
(&hypctx->va_regs[reg - VA_REGS_START - 1])
sys/arm64/vmm/arm64.h
323
if (reg > VA_REGS_START)
sys/arm64/vmm/hyp_genassym.c
34
ASSYM(HYPCTX_GPR_LR, offsetof(struct hypctx, va_regs) + (GPR_LR - VA_REGS_START - 1) * sizeof(uint64_t));
sys/arm64/vmm/hyp_genassym.c
35
ASSYM(HYPCTX_GPR_X0, offsetof(struct hypctx, va_regs) + (GPR_X0 - VA_REGS_START - 1) * sizeof(uint64_t));