Re: [9fans] ken-cc, 64 bits machine, and 32 bits integers

[Charles Forsyth]

on 64-bit machines, int and long are 32 bits,
long long (vlong) is 64 bits, just as on 32-bit machines,
but pointers are 64 bits.  <u.h> defines uintptr
as the integer type that will hold a pointer.
u8int, u16int, u32int and u64int are used in device drivers
and elsewhere to declare values (eg, in memory-mapped
structures or protocol buffers) that must be a precise length.