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

/seL4-test-master/kernel/include/kernel/
H A Dboot.h28 #define pptr_of_cap (pptr_t)cap_get_capPtr macro

Completed in 24 milliseconds