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

/barrelfish-master/lib/libc/gen/
H A Dfmtmsg.c49 fmtmsg(long class, const char *label, int sev, const char *text, argument
113 printfmt(char *msgverb, long class, const char *label, int sev, argument
181 sevinfo(int sev) argument
/barrelfish-master/kernel/include/arch/armv7/
H A Dcp15.h267 static inline void sev(void) { __asm volatile ("sev"); } function

Completed in 75 milliseconds