reg_to_dbg        438 arch/arm64/kvm/sys_regs.c 		reg_to_dbg(vcpu, p, dbg_reg);
reg_to_dbg        480 arch/arm64/kvm/sys_regs.c 		reg_to_dbg(vcpu, p, dbg_reg);
reg_to_dbg        523 arch/arm64/kvm/sys_regs.c 		reg_to_dbg(vcpu, p, dbg_reg);
reg_to_dbg        566 arch/arm64/kvm/sys_regs.c 		reg_to_dbg(vcpu, p, dbg_reg);