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
https://sel4.systems/lists/listinfo/devel