1 /* { dg-do compile } */
2 
3 #include <stdint.h>
4 
5 void
foo()6 foo ()
7 {
8   int ret;
9   void *skb, *to;
10   uint32_t offset, len, start_header;
11 
12   ret = __builtin_bpf_helper_skb_load_bytes_relative (skb, offset,
13 						      to, len,
14 						      start_header);
15 }
16 
17 /* { dg-final { scan-assembler "call\t68" } } */
18