6.1.5 Read Debug Halting Control and Status Register (DHCRS)
Reading DHCRS requires no specific handling. The code is equivalent to reading a word
at the address 0xE000EDF0 (System Control Block DHCSR register).
| Steps | mem_ap primitive |
|---|---|
| Read 32-bit item from address | ReadD32(Addr) |