Home
last modified time | relevance | path

Searched refs:_name (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/machine/
A Dassembler.h17 #define BEGIN_FUNC(_name) \ argument
18 .global _name ; \
19 .type _name, %function ; \
20 _name:
22 #define END_FUNC(_name) \ argument
23 .size _name, .-_name
29 #define BEGIN_FUNC_STATIC(_name) \ argument
30 .type _name, %function ; \
31 _name:
33 #define END_FUNC_STATIC(_name) \ argument
[all …]
/seL4-master/include/model/
A Dstatedata.h16 #define NODE_STATE_BEGIN(_name) typedef struct _name { argument
17 #define NODE_STATE_END(_name) } _name ## _t argument
18 #define NODE_STATE_TYPE_DECLARE(_name, _state) _name ## _t _state argument
35 #define NODE_STATE_BEGIN(_name) argument
36 #define NODE_STATE_END(_name) argument
37 #define NODE_STATE_TYPE_DECLARE(_name, _state) argument
41 #define SMP_STATE_DEFINE(_name, _state) argument
/seL4-master/libsel4/tools/
A Dbitfield_gen.py2176 self.size = sum(size for _name, size, _high in fields)
2183 for _name, _size, _high in fields:
2185 if not _name is None:
2187 self.visible_order.append(_name)
2188 _fields.append((_name, offset, _size, _high))
2199 for _name in visible_order:
2200 if _name not in self.field_map:
2202 % _name)
2203 missed_fields.remove(_name)
2234 _name = prefix + self.name
[all …]
/seL4-master/tools/
A Dbitfield_gen.py2176 self.size = sum(size for _name, size, _high in fields)
2183 for _name, _size, _high in fields:
2185 if not _name is None:
2187 self.visible_order.append(_name)
2188 _fields.append((_name, offset, _size, _high))
2199 for _name in visible_order:
2200 if _name not in self.field_map:
2202 % _name)
2203 missed_fields.remove(_name)
2234 _name = prefix + self.name
[all …]
/seL4-master/src/arch/arm/machine/
A Ddebug.c173 #define DEBUG_GENERATE_READ_FN(_name, _reg) \ argument
175 _name(uint16_t bp_num) \
234 #define DEBUG_GENERATE_WRITE_FN(_name, _reg) \ argument
236 _name(uint16_t bp_num, word_t val) \

Completed in 14 milliseconds