> Thank SYSCALL_WRAPPERS for that. SyS_foo has all "long" arguments, and > then the inline SYSC_foo has the real argument types. That suggests that on SYSCALL_WRAPPERS machines/kernels you want to probe the SYSC_* inlines instead of the SyS_* functions.