1*df24e178SHelge Deller/* SPDX-License-Identifier: GPL-2.0 */ 2*df24e178SHelge Deller 3*df24e178SHelge Deller#include "../vdso32/restart_syscall.S" 4