Branch data     Line data    Source code

       1                 :            : #include "defs.h"
       2                 :            : 
       3                 :            : #include "xlat/bootflags1.h"
       4                 :            : #include "xlat/bootflags2.h"
       5                 :            : #include "xlat/bootflags3.h"
       6                 :            : 
       7                 :         12 : SYS_FUNC(reboot)
       8                 :            : {
       9                 :         12 :         const unsigned int magic1 = tcp->u_arg[0];
      10                 :         12 :         const unsigned int magic2 = tcp->u_arg[1];
      11                 :         12 :         const unsigned int cmd = tcp->u_arg[2];
      12                 :            : 
      13                 :         12 :         printflags(bootflags1, magic1, "LINUX_REBOOT_MAGIC_???");
      14                 :         12 :         tprints(", ");
      15                 :         12 :         printflags(bootflags2, magic2, "LINUX_REBOOT_MAGIC_???");
      16                 :         12 :         tprints(", ");
      17                 :         12 :         printflags(bootflags3, cmd, "LINUX_REBOOT_CMD_???");
      18         [ +  + ]:         12 :         if (cmd == LINUX_REBOOT_CMD_RESTART2) {
      19                 :          6 :                 tprints(", ");
      20                 :          6 :                 printstr(tcp, tcp->u_arg[3]);
      21                 :            :         }
      22                 :         12 :         return RVAL_DECODED;
      23                 :            : }