2 .PATH: ${SRCTOP}/sys/ofed/drivers/infiniband/core
5 SRCS= vnode_if.h device_if.h bus_if.h pci_if.h \
6 opt_inet.h opt_inet6.h \
33 ib_uverbs_marshall.c \
36 CFLAGS+= -I${SRCTOP}/sys/ofed/include
37 CFLAGS+= -I${SRCTOP}/sys/ofed/include/uapi
38 CFLAGS+= -I${SRCTOP}/sys/compat/linuxkpi/common/include
39 CFLAGS+= -DINET6 -DINET -DCONFIG_INFINIBAND_USER_MEM
41 .include <bsd.kmod.mk>