/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
 * Access to the shared data page by the vDSO & syscall map
 *
 * Copyright (C) 2004 Benjamin Herrenschmuidt (benh@kernel.crashing.org), IBM Corp.
 */

#include <asm/processor.h>
#include <asm/ppc_asm.h>
#include <asm/asm-offsets.h>
#include <asm/unistd.h>
#include <asm/vdso.h>
#include <asm/vdso_datapage.h>

        .text

/*
 * void *__kernel_get_syscall_map(unsigned int *syscall_count) ;
 *
 * returns a pointer to the syscall map. the map is agnostic to the
 * size of "long", unlike kernel bitops, it stores bits from top to
 * bottom so that memory actually contains a linear bitmap
 * check for syscall N by testing bit (0x80000000 >> (N & 0x1f)) of
 * 32 bits int at N >> 5.
 */
V_FUNCTION_BEGIN(__kernel_get_syscall_map)
  .cfi_startproc
        mflr    r12
  .cfi_register lr,r12
        mr.     r4,r3
        get_datapage    r3 vdso_u_arch_data
        mtlr    r12
#ifdef __powerpc64__
        addi    r3,r3,CFG_SYSCALL_MAP64
#else
        addi    r3,r3,CFG_SYSCALL_MAP32
#endif
        crclr   cr0*4+so
        beqlr
        li      r0,NR_syscalls
        stw     r0,0(r4)
        blr
  .cfi_endproc
V_FUNCTION_END(__kernel_get_syscall_map)

/*
 * void unsigned long long  __kernel_get_tbfreq(void);
 *
 * returns the timebase frequency in HZ
 */
V_FUNCTION_BEGIN(__kernel_get_tbfreq)
  .cfi_startproc
        mflr    r12
  .cfi_register lr,r12
        get_datapage    r3 vdso_u_arch_data
#ifndef __powerpc64__
        lwz     r4,(CFG_TB_TICKS_PER_SEC + 4)(r3)
#endif
        PPC_LL  r3,CFG_TB_TICKS_PER_SEC(r3)
        mtlr    r12
        crclr   cr0*4+so
        blr
  .cfi_endproc
V_FUNCTION_END(__kernel_get_tbfreq)