Current: /usr/include/rdma/hfi/hfi1_user.h

New name: