40 CAPABILITY ALL -TCB
41
42 #ifdef ENABLE_ABIV2_MODE
43 DEBUGGABLE_UDEBONLY
44 #endif
45
46
47 SMPSAFE