| 761 | } |
| 762 | |
| 763 | static __inline uint32_t |
| 764 | dbg_get_debug_model(void) |
| 765 | { |
| 766 | uint32_t dbg_m; |
| 767 | |
| 768 | dbg_m = ((cpuinfo.id_dfr0 & ID_DFR0_CP_DEBUG_M_MASK) >> |
| 769 | ID_DFR0_CP_DEBUG_M_SHIFT); |
| 770 | |
| 771 | return (dbg_m); |
| 772 | } |
| 773 | |
| 774 | static __inline boolean_t |
| 775 | dbg_get_ossr(void) |