1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * vsyscall_emu_64.S: Vsyscall emulation page
5 * Copyright (c) 2011 Andy Lutomirski
8 #include <linux/linkage.h>
10 #include <asm/irq_vectors.h>
11 #include <asm/page_types.h>
12 #include <asm/unistd_64.h>
15 .globl __vsyscall_page
16 .balign PAGE_SIZE, 0xcc
17 .type __vsyscall_page, @object
20 mov $__NR_gettimeofday, %rax
30 mov $__NR_getcpu, %rax
36 .size __vsyscall_page, 4096