Marin Ramesa, le Mon 09 Dec 2013 23:57:18 +0100, a écrit : > This is more in line with how the function db_user_to_kernel_address() is > called. In this way there is one cast less and several GCC warnings are > silenced.
This actually also fixes 64bit support there :) Samuel
