dbg_to_reg        440 arch/arm64/kvm/sys_regs.c 		dbg_to_reg(vcpu, p, dbg_reg);
dbg_to_reg        482 arch/arm64/kvm/sys_regs.c 		dbg_to_reg(vcpu, p, dbg_reg);
dbg_to_reg        525 arch/arm64/kvm/sys_regs.c 		dbg_to_reg(vcpu, p, dbg_reg);
dbg_to_reg        568 arch/arm64/kvm/sys_regs.c 		dbg_to_reg(vcpu, p, dbg_reg);