129 	uint32_t w5;  member
141 #define TIPC_SESS_NO(w5)	(((w5) >> 16) & 0xFFFF)  argument
151 	uint32_t w5;  member
156 #define TIPC_MEDIA_ID(w5)	(((w5) >> 0) & 0xFF)  argument
226 	uint32_t w0, w1, w2, w4, w5, w9;  in print_internal()  local
273 		w5 = EXTRACT_32BITS(&ap->w5);  in print_internal()
274 		sess_no = TIPC_SESS_NO(w5);  in print_internal()
294 	uint32_t w0, w1, w5;  in print_link_conf()  local
323 		ND_TCHECK(ap->w5);  in print_link_conf()
326 		w5 = EXTRACT_32BITS(&ap->w5);  in print_link_conf()
327 		media_id = TIPC_MEDIA_ID(w5);  in print_link_conf()