Home
last modified time | relevance | path

Searched defs:msg (Results 1 – 2 of 2) sorted by relevance

/seL4-master/libsel4/include/sel4/
A Dshared_types.h13 seL4_Word msg[seL4_MsgMaxLength]; member
/seL4-master/tools/
A Dlex.py99 def critical(self, msg, *args, **kwargs): argument
102 def warning(self, msg, *args, **kwargs): argument
105 def error(self, msg, *args, **kwargs): argument

Completed in 5 milliseconds