162 static inline u64 get_route(u32 route_hi, u32 route_lo)  in get_route()  argument
164 	return (u64)route_hi << 32 | route_lo;  in get_route()
300 	*route = get_route(sw->route_hi, sw->route_lo);  in icm_fr_get_route()
515 	sw->config.route_hi = upper_32_bits(route);  in update_switch()
871 	request.route_hi = sw->config.route_hi;  in icm_tr_approve_switch()
898 	request.route_hi = sw->config.route_hi;  in icm_tr_add_switch_key()
927 	request.route_hi = sw->config.route_hi;  in icm_tr_challenge_switch_key()
955 	request.route_hi = upper_32_bits(xd->route);  in icm_tr_approve_xdomain_paths()
985 	request.route_hi = upper_32_bits(xd->route);  in icm_tr_xdomain_tear_down()
1032 	route = get_route(pkg->route_hi, pkg->route_lo);  in icm_tr_device_connected()
1094 	route = get_route(pkg->route_hi, pkg->route_lo);  in icm_tr_device_disconnected()
1166 	route = get_route(pkg->route_hi, pkg->route_lo);  in icm_tr_xdomain_disconnected()
1302 	*route = get_route(reply.route_hi, reply.route_lo);  in icm_ar_get_route()