KERNEL_BPFPTR
return KERNEL_BPFPTR((void*) (uintptr_t) addr);
return __sys_bpf(cmd, KERNEL_BPFPTR(attr), attr_size);