user_debug_post_syscall - Haiku

Symbol: user_debug_post_syscall

headers/private/kernel/user_debugger.h

void user_debug_post_syscall(uint32 syscall, void *args, uint64 returnValue);

src/system/kernel/syscalls.cpp

user_debug_post_syscall(callIndex, args, *_returnValue);