Searched defs:VISIBLE (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/src/machine/
H A Dprofiler.c22 volatile unsigned int checkpoint VISIBLE; variable
39 bool_t profiler_enabled VISIBLE = true; variable
/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Delfloader_common.h24 #define VISIBLE __attribute__((externally_visible)) macro
26 #define VISIBLE macro
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dattribute.h67 #define VISIBLE /* ignored */ macro
69 #define VISIBLE __attribute__((__externally_visible__)) macro
/seL4-test-master/kernel/include/
H A Dutil.h40 #define VISIBLE /* nothing */ macro
42 #define VISIBLE __attribute__((externally_visible)) macro

Completed in 48 milliseconds