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

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c730 static void free_page(vspace_t *vspace, vka_t *vka, uintptr_t vaddr) function
772 free_page(vspace, vka, vaddr);
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c730 static void free_page(vspace_t *vspace, vka_t *vka, uintptr_t vaddr) function
772 free_page(vspace, vka, vaddr);

Completed in 28 milliseconds