Searched refs:pde_range_t (Results 1 – 2 of 2) sorted by relevance
/seL4-master/include/ | ||
A D | compound_types.h | 18 typedef struct pde_range pde_range_t; typedef |
/seL4-master/src/arch/arm/32/kernel/ | ||
A D | vspace.c | 1557 pde_range_t pde_entries; |
Completed in 6 milliseconds