__set_DEPC_register
In this section:
Syntax
__intrinsic void __set_DEPC_register(unsigned long);
Description
Writes a specific value to the DEPC register.
Note
To use intrinsic functions in an application, you must include the header file(s) where they are declared, see Summary of intrinsic functions.