src_route_hi 510 drivers/thunderbolt/tb_msgs.h u32 src_route_hi; src_route_hi 263 drivers/thunderbolt/xdomain.c res.src_route_hi = upper_32_bits(route);