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

/seL4-l4v-10.1.1/seL4/src/machine/
H A Dprofiler.c26 volatile unsigned int checkpoint VISIBLE; variable
43 bool_t profiler_enabled VISIBLE = true; variable
/seL4-l4v-10.1.1/seL4/include/
H A Dutil.h41 #define VISIBLE /* nothing */ macro
43 #define VISIBLE __attribute__((externally_visible)) macro

Completed in 39 milliseconds