Searched refs:dbg_wcr (Results 1 – 4 of 4) sorted by relevance
114 save_debug(dbg->dbg_wcr, dbgwcr, wrps); in __debug_restore_state() 128 restore_debug(dbg->dbg_wcr, dbgwcr, wrps); in __debug_switch_to_guest_common()
671 return &dbg->dbg_wcr[rd->CRm]; in demux_wb_reg()
140 __u64 dbg_wcr[KVM_ARM_MAX_DBG_REGS]; member