Yep the size of a word_t (the equivalent of seL4_Word in the kernel) has many assumptions being large enough to hold a pointer. As a result you can rely on seL4_Word always being the size of a pointer. This isn't a guarantee that it will be the same type as uintptr_t, but it will be at least the same size. Adrian On Thu 17-Nov-2016 2:44 PM, Corey Richardson wrote: I guess this is a somewhat philosophical question. It's come up a bit in the Rust libs I've been writing. Casting from pointer-sized things to *specifically* u32/u64 is bit tiresome for the places where I can't abstract over that. _______________________________________________ Devel mailing list Devel@sel4.systems<mailto:Devel@sel4.systems> https://sel4.systems/lists/listinfo/devel