taglinefilesource code
get_int_user203drivers/net/ppp.c#define get_int_user(addr)      ((int) get_user_long((void *) addr))
get_int_user214drivers/net/ppp.c#define get_int_user(addr)      ((int) get_user(((int *) addr)))