debug_post_syscall
debug_post_syscall post_syscall;
const debug_post_syscall& message);
record_syscall_stats(const Syscall& syscall, debug_post_syscall& message)
print_syscall(FILE *outputFile, Syscall* syscall, debug_post_syscall &message,
BDebugMessageHandler::HandlePostSyscall(const debug_post_syscall& message)
debug_post_syscall message;