Searched defs:parent (Results 1 – 7 of 7) sorted by relevance
/seL4-master/manual/tools/ |
A D | parse_doxygen_xml.py | 146 def parse_brief(self, parent): argument 153 def parse_detailed_desc(self, parent, ref_dict): argument 230 def parse_prototype(self, parent, escape=True): argument
|
/seL4-master/src/object/ |
A D | objecttype.c | 589 void createNewObjects(object_t t, cte_t *parent, in createNewObjects()
|
A D | cnode.c | 745 void insertNewCap(cte_t *parent, cte_t *slot, cap_t cap) in insertNewCap()
|
/seL4-master/src/arch/x86/kernel/ |
A D | vspace.c | 52 exception_t performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base) in performASIDControlInvocation()
|
/seL4-master/src/arch/riscv/kernel/ |
A D | vspace.c | 451 static exception_t performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asi… in performASIDControlInvocation()
|
/seL4-master/src/arch/arm/32/kernel/ |
A D | vspace.c | 1975 cte_t *parent, asid_t asid_base)
|
/seL4-master/src/arch/arm/64/kernel/ |
A D | vspace.c | 1675 cte_t *parent, asid_t asid_base) in performASIDControlInvocation()
|
Completed in 23 milliseconds