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];