Searched defs:pgdSlot_or_vspace (Results 1 - 1 of 1) sorted by relevance

/seL4-refos-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c222 static void arm64_cap_pud_print_slots(void *pgdSlot_or_vspace, vptr_t vptr) argument
485 void arm64_obj_pud_print_slots(void *pgdSlot_or_vspace) argument

Completed in 72 milliseconds