cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

platsmp.h (414B)


      1/* SPDX-License-Identifier: GPL-2.0-only */
      2/*
      3 *  Copyright (C) 2011 ARM Ltd.
      4 *  All Rights Reserved
      5 */
      6extern volatile int versatile_cpu_release;
      7
      8extern void versatile_secondary_startup(void);
      9extern void versatile_secondary_init(unsigned int cpu);
     10extern int  versatile_boot_secondary(unsigned int cpu, struct task_struct *idle);
     11void versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask);