gerrit-public.fairphone.software / kernel / msm-5.4 / dae5d13a7e6efcf6e0e00c0febb530b894fa13a3 / drivers / infiniband / hw / nes / nes_user.h