COMPILE_ASSERT    136 kern/startup/main.c 	COMPILE_ASSERT(sizeof(userptr_t) == sizeof(char *));
COMPILE_ASSERT    137 kern/startup/main.c 	COMPILE_ASSERT(sizeof(*(userptr_t)0) == sizeof(char));