1// SPDX-License-Identifier: GPL-2.0
2#include "fake_32bit_build.h"
3#include "../vgetcpu.c"
4

source code of linux/arch/x86/entry/vdso/vdso32/vgetcpu.c