Ed Schouten ee13ffbe03 Use TO_PTR() to convert integers to pointers. ... For FreeBSD/arm64's cloudabi32 support, I'm going to need a TO_PTR() in this place. Also use it for all of the other source files, so that the difference remains as minimal as possible. MFC after: 2 weeks		2017-11-26 14:45:56 +00:00
..
cloudabi32_sysvec.c