Marin Ramesa, le Wed 20 Nov 2013 20:42:45 +0100, a écrit : > * i386/i386/db_interface.c (db_user_to_kernel_address): Cast argument 3 to > (unsigned int *).
db_user_to_kernel_address should rather be made to take a vm_offset_t*, and caller use that, instead of unsigned int, for their variables. The very good reason for this is that it's supposed to be an address. On 64bit systems, unsigned int is not big enough... Samuel
