Searched refs:dbg_didr (Results 1 – 1 of 1) sorted by relevance
794 uint32_t dbg_didr; in dbg_arch_supported() local799 dbg_didr = cp14_dbgdidr_get(); in dbg_arch_supported()806 if (dbg_didr == 0) in dbg_arch_supported()821 uint32_t dbg_didr; in dbg_get_wrp_num() local823 dbg_didr = cp14_dbgdidr_get(); in dbg_get_wrp_num()825 return (DBGDIDR_WRPS_NUM(dbg_didr)); in dbg_get_wrp_num()831 uint32_t dbg_didr; in dgb_get_brp_num() local833 dbg_didr = cp14_dbgdidr_get(); in dgb_get_brp_num()835 return (DBGDIDR_BRPS_NUM(dbg_didr)); in dgb_get_brp_num()