Ed Schouten 48734c99d3 Convert pointers obtained from the threadattr_t structure with TO_PTR(). ...

In all of these source files, the userspace pointer size corresponds
with the kernelspace pointer size, meaning that casting directly works.
As I'm planning on making 32-bit execution on 64-bit systems work as
well, use TO_PTR() here as well, so that the changes between source
files remain minimal.

2016-08-24 10:13:18 +00:00

..

cloudabi64_sysvec.c

Convert pointers obtained from the threadattr_t structure with TO_PTR().

2016-08-24 10:13:18 +00:00