Searched refs:reserved_map (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py101 reserved_map = dict((r.lower(), r) for r in reserved) variable
106 t.type = reserved_map.get(t.value, 'IDENTIFIER')
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py101 reserved_map = dict((r.lower(), r) for r in reserved) variable
106 t.type = reserved_map.get(t.value, 'IDENTIFIER')
/seL4-test-master/kernel/tools/
H A Dbitfield_gen.py101 reserved_map = dict((r.lower(), r) for r in reserved) variable
106 t.type = reserved_map.get(t.value, 'IDENTIFIER')

Completed in 47 milliseconds