l4/pkg/valgrind/src/valgrind-3.6.0-svn/memcheck/tests/x86-linux/scalar_exit_group.c

   1 #include "scalar.h"
   2
   3 int main(void)
   4 {
   5    // uninitialised, but we know px[0] is 0x0
   6    long* px  = malloc(sizeof(long));
   7    long  x0  = px[0];
   8    int   res __attribute__((unused));
   9
  10    // All __NR_xxx numbers are taken from x86
  11
  12    // __NR_exit_group 252
  13    GO(__NR_exit_group, "1s 0m");
  14    SY(__NR_exit_group, x0);
  15
  16    return(0);
  17 }
  18