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

/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c14 static void obj_frame_print_attrs(lookupFrame_ret_t ret);
425 void obj_frame_print_attrs(lookupFrame_ret_t ret)
447 lookupFrame_ret_t ret;
464 lookupFrame_ret_t ret;
487 lookupFrame_ret_t ret;
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c106 typedef struct lookupFrame_ret lookupFrame_ret_t; typedef in typeref:struct:lookupFrame_ret
745 static lookupFrame_ret_t lookupFrame(vspace_root_t *vspace, vptr_t vptr)
748 lookupFrame_ret_t ret;
1697 lookupFrame_ret_t resolve_ret;
2469 lookupFrame_ret_t lookup_frame_ret;

Completed in 81 milliseconds