1  /* { dg-do compile } */
       2  /* { dg-options "-std=gnu99" } */
       3  
       4  #include <bpf-helpers.h>
       5  
       6  char *map () { return 0; }
       7  
       8  void
       9  foo ()
      10  {
      11    int ret;
      12  
      13    ret = bpf_trace_printk ("foo %d %d", sizeof ("foo %d %d"), 10, 20);
      14  }
      15  
      16  /* { dg-final { scan-assembler "call\t6" } } */