original_kernel/include/uapi/rdma/hfi
..
hfi1_ioctl.h
hfi1_user.h