Symbol: core_reg_addr
arch/arm64/kvm/guest.c
205
addr = core_reg_addr(vcpu, reg);
arch/arm64/kvm/guest.c
230
addr = core_reg_addr(vcpu, reg);