1# SPDX-License-Identifier: GPL-2.0-only 2ashiftrt.S 3ashldi3.c 4ashlsi3.S 5ashrsi3.S 6lshrsi3.S 7vmlinux.bin.* 8