Searched refs:dscr (Results 1 - 5 of 5) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | debug.h | 103 dbg_dscr_t dscr; local
105 dscr.words[0] = readDscrCp();
106 dscr = dbg_dscr_set_haltingDebugEnable(dscr, 0);
107 dscr = dbg_dscr_set_disableAllUserAccesses(dscr, 1);
108 dscr = dbg_dscr_set_monitorDebugEnable(dscr, 1);
110 writeDscrCp(dscr.words[0]);
131 dscr
[all...] |
| /seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | debug.h | 103 dbg_dscr_t dscr; local
105 dscr.words[0] = readDscrCp();
106 dscr = dbg_dscr_set_haltingDebugEnable(dscr, 0);
107 dscr = dbg_dscr_set_disableAllUserAccesses(dscr, 1);
108 dscr = dbg_dscr_set_monitorDebugEnable(dscr, 1);
110 writeDscrCp(dscr.words[0]);
131 dscr
[all...] |
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | debug.h | 103 dbg_dscr_t dscr; local
105 dscr.words[0] = readDscrCp();
106 dscr = dbg_dscr_set_haltingDebugEnable(dscr, 0);
107 dscr = dbg_dscr_set_disableAllUserAccesses(dscr, 1);
108 dscr = dbg_dscr_set_monitorDebugEnable(dscr, 1);
110 writeDscrCp(dscr.words[0]);
131 dscr
[all...] |
| /seL4-test-master/kernel/include/arch/arm/armv/armv6/armv/ |
| H A D | debug.h | 71 dbg_dscr_t dscr; local
73 dscr.words[0] = readDscrCp();
75 if (dbg_dscr_get_haltingDebugEnable(dscr) != 0) {
81 dscr = dbg_dscr_set_monitorDebugEnable(dscr, 1);
82 writeDscrCp(dscr.words[0]);
103 dscr.words[0] = readDscrCp();
104 if (dbg_dscr_get_monitorDebugEnable(dscr) == 0) {
|
| /seL4-test-master/kernel/src/arch/arm/machine/ |
| H A D | debug.c | 506 dbg_dscr_t dscr; local
508 dscr.words[0] = readDscrCp();
509 return dbg_dscr_get_methodOfEntry(dscr);
|
Completed in 86 milliseconds