memcheck/tests/freebsd/scalar_15_plus.c

   1 #include "scalar.h"
   2 #include <sys/mman.h>
   3
   4 int main(void)
   5 {
   6    long *px = malloc(2*sizeof(long));
   7    x0 = px[0];
   8
   9    /* SYS_kqueuex                        583 */
  10    GO(SYS_kqueuex, " 1s 0m");
  11    SY(SYS_kqueuex, x0+123); FAIL;
  12
  13    /* SYS_membarrier                     584 */
  14    GO(SYS_membarrier, " 3s 0m");
  15    SY(SYS_membarrier, x0+123, x0+456, x0+789); FAIL;
  16
  17    /* SYS_timerfd_create                 585 */
  18    GO(SYS_timerfd_create, " 2s 0m");
  19    SY(SYS_timerfd_create, x0+123, x0+23456); FAIL;
  20
  21    /* SYS_timerfd_gettime                586 */
  22    GO(SYS_timerfd_gettime, " 2s 1m");
  23    SY(SYS_timerfd_gettime, x0+100, x0); FAIL;
  24
  25    /* SYS_timerfd_settime                587 */
  26    GO(SYS_timerfd_settime, "4s 2m");
  27    SY(SYS_timerfd_settime, x0+321, x0, x0+10, x0+5); FAIL;
  28
  29    return(0);
  30 }
  31