1 /* Facilities specific to the PowerPC architecture on Linux 2 Copyright (C) 2012-2022 Free Software Foundation, Inc. 3 This file is part of the GNU C Library. 4 5 The GNU C Library is free software; you can redistribute it and/or 6 modify it under the terms of the GNU Lesser General Public 7 License as published by the Free Software Foundation; either 8 version 2.1 of the License, or (at your option) any later version. 9 10 The GNU C Library is distributed in the hope that it will be useful, 11 but WITHOUT ANY WARRANTY; without even the implied warranty of 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 13 Lesser General Public License for more details. 14 15 You should have received a copy of the GNU Lesser General Public 16 License along with the GNU C Library; if not, see 17 <https://www.gnu.org/licenses/>. */ 18 19 #ifndef _BITS_PPC_H 20 #define _BITS_PPC_H 21 22 #ifndef _SYS_PLATFORM_PPC_H 23 # error "Never include this file directly; use <sys/platform/ppc.h> instead." 24 #endif 25 26 __BEGIN_DECLS 27 28 /* Read the time base frequency. */ 29 extern uint64_t __ppc_get_timebase_freq (void); 30 31 __END_DECLS 32 33 #endif 34