Searched refs:MONITOR_MODE (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c55 #define MONITOR_MODE (0x16) macro
64 #define MONITOR_MODE (0x16) macro
123 : [MON_MODE]"I"(MONITOR_MODE));
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c55 #define MONITOR_MODE (0x16) macro
64 #define MONITOR_MODE (0x16) macro
123 : [MON_MODE]"I"(MONITOR_MODE));
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c50 #define MONITOR_MODE (0x16) macro
95 ::"I"(MONITOR_MODE));
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c50 #define MONITOR_MODE (0x16) macro
95 ::"I"(MONITOR_MODE));

Completed in 79 milliseconds