xref: /linux/arch/x86/entry/vdso/vdso32/vgetcpu.c (revision ae7487d112cf9f310d32f27d5956f53d9f143fea)
1 // SPDX-License-Identifier: GPL-2.0
2 #include "fake_32bit_build.h"
3 #include "../vgetcpu.c"
4