<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-only */
/*
 * vsyscall_emu_64.S: Vsyscall emulation page
 *
 * Copyright (c) 2011 Andy Lutomirski
 */

#include &lt;linux/linkage.h&gt;

#include &lt;asm/irq_vectors.h&gt;
#include &lt;asm/page_types.h&gt;
#include &lt;asm/unistd_64.h&gt;

__PAGE_ALIGNED_DATA
	.globl __vsyscall_page
	.balign PAGE_SIZE, 0xcc
	.type __vsyscall_page, @object
__vsyscall_page:

	mov $__NR_gettimeofday, %rax
	syscall
	ret
	int3

	.balign 1024, 0xcc
	mov $__NR_time, %rax
	syscall
	ret
	int3

	.balign 1024, 0xcc
	mov $__NR_getcpu, %rax
	syscall
	ret
	int3

	.balign 4096, 0xcc

	.size __vsyscall_page, 4096
</pre></body></html>