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

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dbug_mvt20110302.c12 typedef uint32_t vptr_t; typedef
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/
H A Dtypes.h29 typedef word_t vptr_t; typedef
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/
H A Dtypes.h26 typedef word_t vptr_t; typedef
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/
H A Dtypes.h26 typedef word_t vptr_t; typedef

Completed in 46 milliseconds