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

ppc4xx.h (328B)

      1/* SPDX-License-Identifier: GPL-2.0-or-later */
      2/*
      3 * PPC4xx Prototypes and definitions
      4 *
      5 * Copyright 2008 DENX Software Engineering, Stefan Roese <sr@denx.de>
      6 */
      7
      8#ifndef __ASM_POWERPC_PPC4xx_H__
      9#define __ASM_POWERPC_PPC4xx_H__
     10
     11extern void __noreturn ppc4xx_reset_system(char *cmd);
     12
     13#endif /* __ASM_POWERPC_PPC4xx_H__ */