Searched defs:parent (Results 1 - 9 of 9) sorted by relevance
/seL4-mcs-10.1.1/src/arch/arm/32/machine/ |
H A D | capdl.c | 231 cte_t *parent = getMDBParent(&start[i]); local
|
/seL4-mcs-10.1.1/src/arch/x86/machine/ |
H A D | capdl.c | 252 cte_t *parent = getMDBParent(&start[i]); local
|
/seL4-mcs-10.1.1/src/object/ |
H A D | objecttype.c | 540 createNewObjects(object_t t, cte_t *parent, slot_range_t slots, argument
|
H A D | cnode.c | 722 insertNewCap(cte_t *parent, cte_t *slot, cap_t cap) argument
|
/seL4-mcs-10.1.1/src/plat/spike/machine/ |
H A D | fdt.c | 60 const struct fdt_scan_node *parent; member in struct:fdt_scan_node
|
/seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
H A D | vspace.c | 452 static exception_t performASIDControlInvocation(void* frame, cte_t* slot, cte_t* parent, asid_t asid_base) argument 463 parent, local
|
/seL4-mcs-10.1.1/src/arch/x86/kernel/ |
H A D | vspace.c | 57 exception_t performASIDControlInvocation(void* frame, cte_t* slot, cte_t* parent, asid_t asid_base) argument 72 parent, local
|
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2186 parent, slot);; local 2173 performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base) argument
|
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1720 ), parent, slot); local 1708 performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base) argument
|
Completed in 78 milliseconds