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

/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h231 typedef void *(*vspace_new_pages_fn)(vspace_t *vspace, seL4_CapRights_t rights, typedef
476 vspace_new_pages_fn new_pages;

Completed in 21 milliseconds