<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* SPDX-License-Identifier: GPL-2.0 */

#include "../vdso32/restart_syscall.S"
</pre></body></html>