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

/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c264 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, i);
272 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, i);
527 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, i);
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c81 typedef struct lookupPGDSlot_ret lookupPGDSlot_ret_t; typedef in typeref:struct:lookupPGDSlot_ret
641 static lookupPGDSlot_ret_t lookupPGDSlot(vspace_root_t *vspace, vptr_t vptr)
643 lookupPGDSlot_ret_t ret;
663 lookupPGDSlot_ret_t pgdSlot = lookupPGDSlot(vspace, vptr);
1028 lookupPGDSlot_ret_t lu_ret;
1797 lookupPGDSlot_ret_t pgdSlot;

Completed in 58 milliseconds