1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Userland implementation of getcpu() for 64 bits processes in a
4 * s390 kernel for use in the vDSO
6 * Copyright IBM Corp. 2016
7 * Author(s): Martin Schwidefsky <schwidefsky@de.ibm.com>
10 #include <asm/asm-offsets.h>
11 #include <asm/dwarf.h>
15 .globl __kernel_getcpu
16 .type __kernel_getcpu,@function
21 l %r5,__VDSO_CPU_NR(%r4)
22 l %r4,__VDSO_NODE_ID(%r4)
33 .size __kernel_getcpu,.-__kernel_getcpu