wqe_words          48 drivers/infiniband/hw/i40iw/i40iw_osdep.h static inline void set_64bit_val(u64 *wqe_words, u32 byte_index, u64 value)
wqe_words          50 drivers/infiniband/hw/i40iw/i40iw_osdep.h 	wqe_words[byte_index >> 3] = value;
wqe_words          59 drivers/infiniband/hw/i40iw/i40iw_osdep.h static inline void set_32bit_val(u32 *wqe_words, u32 byte_index, u32 value)
wqe_words          61 drivers/infiniband/hw/i40iw/i40iw_osdep.h 	wqe_words[byte_index >> 2] = value;
wqe_words          70 drivers/infiniband/hw/i40iw/i40iw_osdep.h static inline void get_64bit_val(u64 *wqe_words, u32 byte_index, u64 *value)
wqe_words          72 drivers/infiniband/hw/i40iw/i40iw_osdep.h 	*value = wqe_words[byte_index >> 3];
wqe_words          81 drivers/infiniband/hw/i40iw/i40iw_osdep.h static inline void get_32bit_val(u32 *wqe_words, u32 byte_index, u32 *value)
wqe_words          83 drivers/infiniband/hw/i40iw/i40iw_osdep.h 	*value = wqe_words[byte_index >> 2];