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

/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h65 #define WORD_PTR(r) ((word_t *)(r)) macro
/seL4-camkes-master/kernel/src/object/
H A Duntyped.c242 void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(prev_cap));
283 void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(srcSlot->cap));
H A Dobjecttype.c281 aBase = (word_t)WORD_PTR(cap_untyped_cap_get_capPtr(cap_a));
/seL4-camkes-master/kernel/include/object/
H A Dstructures.h106 #define WORD_PTR(r) ((word_t *)(r)) macro
553 return WORD_PTR(cap_untyped_cap_get_capPtr(cap));
/seL4-camkes-master/kernel/src/machine/
H A Dcapdl.c141 WORD_PTR(cap_untyped_cap_get_capPtr(slot->cap)));
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c997 frame = WORD_PTR(cap_untyped_cap_get_capPtr(untyped));
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c1323 frame = WORD_PTR(cap_untyped_cap_get_capPtr(untyped));
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2625 frame = WORD_PTR(cap_untyped_cap_get_capPtr(untyped));
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c2349 frame = WORD_PTR(cap_untyped_cap_get_capPtr(untyped));

Completed in 121 milliseconds