Re: [seL4] Will seL4_Word ever be anything but uintptr_t?

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