Searched refs:parse_xml_file (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/seL4/manual/tools/ |
H A D | gen_invocations.py | 66 methods, _, api = syscall_stub_gen.parse_xml_file(input_file, types)
|
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 816 def parse_xml_file(input_file, valid_types): function 962 method, struct, _ = parse_xml_file(infile, data_types + arch_types[arch])
|
/seL4-l4v-master/seL4/libsel4/tools/ |
H A D | syscall_stub_gen.py | 816 def parse_xml_file(input_file, valid_types): function 962 method, struct, _ = parse_xml_file(infile, data_types + arch_types[arch])
|
Completed in 132 milliseconds