On 11.12.2013 19:12:33, Ivan Shmakov wrote: > > Even though I’m unsure how vm_offset_t is defined (is it int? > or is it ptrdiff_t? ¹), I’d rather like to see casts to /int/ > here, as it’s what %X (usually – no idea about vm/*) implies. > > ¹ Please note that while int is 32 bits on both i386 and amd64, > the size of ptrdiff_t varies between the two.
It's unsigned long.
