Searched defs:lookupPDSlot_ret_t (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ | ||
H A D | vspace.h | 28 typedef struct lookupPDSlot_ret lookupPDSlot_ret_t; typedef in typeref:struct:lookupPDSlot_ret |
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ | ||
H A D | vspace.c | 93 typedef struct lookupPDSlot_ret lookupPDSlot_ret_t; typedef in typeref:struct:lookupPDSlot_ret |
Completed in 86 milliseconds