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

/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1608 typedef struct create_mappings_pde_return create_mappings_pde_return_t; typedef in typeref:struct:create_mappings_pde_return
1710 static create_mappings_pde_return_t
1716 create_mappings_pde_return_t ret;
2409 create_mappings_pde_return_t map_ret;

Completed in 33 milliseconds