Home
last modified time | relevance | path

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

/seL4-master/include/model/
A Dstatedata.h19 #define NODE_STATE_DECLARE(_type, _state) _type _state argument
21 #define SMP_STATE_DEFINE(_type, _state) _type _state argument
22 #define UP_STATE_DEFINE(_type, _state) argument
39 #define NODE_STATE_DECLARE(_type, _state) extern _type _state VISIBLE argument
42 #define UP_STATE_DEFINE(_type, _state) _type _state argument

Completed in 2 milliseconds