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

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c288 static int map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], function
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c288 static int map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], function
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h481 vspace_map_pages_at_vaddr_fn map_pages_at_vaddr; member in struct:vspace
/seL4-refos-master/libs/libsel4vspace/include/vspace/
H A Dvspace.h481 vspace_map_pages_at_vaddr_fn map_pages_at_vaddr; member in struct:vspace

Completed in 38 milliseconds