Searched refs:get_xml_element_contents (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py770 def get_xml_element_contents(element): function
870 method_brief_text = get_xml_element_contents(method_brief[0])
877 method_description_text = get_xml_element_contents(method_description[0])
925 get_xml_element_contents(method_return_description[0]))
/seL4-l4v-master/seL4/libsel4/tools/
H A Dsyscall_stub_gen.py770 def get_xml_element_contents(element): function
870 method_brief_text = get_xml_element_contents(method_brief[0])
877 method_description_text = get_xml_element_contents(method_description[0])
925 get_xml_element_contents(method_return_description[0]))

Completed in 38 milliseconds