Searched defs:VSPACE_FREE (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/
H A Dclientapi.c133 seL4_PageBits, VSPACE_FREE); local
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h301 #define VSPACE_FREE ((vka_t *) 0xffffffff) macro
/seL4-refos-master/libs/libsel4vspace/include/vspace/
H A Dvspace.h301 #define VSPACE_FREE ((vka_t *) 0xffffffff) macro

Completed in 33 milliseconds