1*0715372aSGuo Ren/* SPDX-License-Identifier: GPL-2.0-only */ 2*0715372aSGuo Ren 3*0715372aSGuo Ren#include "../vdso/getcpu.S" 4