1  /*
       2   * Copyright (c) 2020-2022 The strace developers.
       3   * All rights reserved.
       4   *
       5   * SPDX-License-Identifier: LGPL-2.1-or-later
       6   */
       7  
       8  #include "defs.h"
       9  
      10  void
      11  print_syscall_number(struct tcb *tcp)
      12  {
      13  	tprint_attribute_begin();
      14  	if (tcp->true_scno != (kernel_ulong_t) -1)
      15  		tprintf_string("%4" PRI_klu, tcp->true_scno);
      16  	else
      17  		tprint_unavailable();
      18  	tprint_attribute_end();
      19  	tprint_space();
      20  }