6.1.4 Read Debug Halting Control and Status Register

Reading peripherals requires no specific handling. The code is equivalent to reading a word at the address 0xE000EDF0 (System Control Block DHCSR register).

Table 6-4. Reference
Step	mem_ap primitive
Read 32-bit item from address	ReadD32(Addr)

The online versions of the documents are provided as a courtesy. Verify all content and data in the device’s PDF documentation found on the device product page.