Home
last modified time | relevance | path

Searched refs:dbg_didr (Results 1 – 1 of 1) sorted by relevance

/f-stack/freebsd/arm/arm/
H A Ddebug_monitor.c794 uint32_t dbg_didr; in dbg_arch_supported() local
799 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() local
823 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() local
833 dbg_didr = cp14_dbgdidr_get(); in dgb_get_brp_num()
835 return (DBGDIDR_BRPS_NUM(dbg_didr)); in dgb_get_brp_num()