| 772 | } |
| 773 | |
| 774 | static __inline boolean_t |
| 775 | dbg_get_ossr(void) |
| 776 | { |
| 777 | |
| 778 | switch (dbg_model) { |
| 779 | case ID_DFR0_CP_DEBUG_M_V7: |
| 780 | if ((cp14_dbgoslsr_get() & DBGOSLSR_OSLM0) != 0) |
| 781 | return (TRUE); |
| 782 | |
| 783 | return (FALSE); |
| 784 | case ID_DFR0_CP_DEBUG_M_V7_1: |
| 785 | return (TRUE); |
| 786 | default: |
| 787 | return (FALSE); |
| 788 | } |
| 789 | } |
| 790 | |
| 791 | static __inline boolean_t |
| 792 | dbg_arch_supported(void) |