user_debug_pre_syscall
void user_debug_pre_syscall(uint32 syscall, void *args);
user_debug_pre_syscall(callIndex, args);