Searched refs:vspace_root_t (Results 26 - 27 of 27) sorted by relevance

12

/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h37 typedef pde_t vspace_root_t; typedef
/seL4-camkes-master/kernel/include/drivers/smmu/
H A Dsmmuv2.h426 void smmu_cb_assign_vspace(word_t cb, vspace_root_t *vspace, asid_t asid);

Completed in 29 milliseconds

12