1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include "../vdso/flush_icache.S"
Linux® is a registered trademark of Linus Torvalds in the United States and other countries. TOMOYO® is a registered trademark of NTT DATA CORPORATION.