manual/platform.texi

   1 @node Platform, Contributors, Maintenance, Top
   2 @c %MENU% Describe all platform-specific facilities provided
   3 @appendix Platform-specific facilities
   4
   5 @Theglibc{} can provide machine-specific functionality.
   6
   7 @menu
   8 * PowerPC::           Facilities Specific to the PowerPC Architecture
   9 @end menu
  10
  11 @node PowerPC
  12 @appendixsec PowerPC-specific Facilities
  13
  14 Facilities specific to PowerPC that are not specific to a particular
  15 operating system are declared in @file{sys/platform/ppc.h}.
  16
  17 @deftypefun {uint64_t} __ppc_get_timebase (void)
  18 Read the current value of the Time Base Register.
  19
  20 The @dfn{Time Base Register} is a 64-bit register that stores a monotonically
  21 incremented value updated at a system-dependent frequency that may be
  22 different from the processor frequency.  More information is available in
  23 @cite{Power ISA 2.06b - Book II - Section 5.2}.
  24
  25 @code{__ppc_get_timebase} uses the processor's time base facility directly
  26 without requiring assistance from the operating system, so it is very
  27 efficient.
  28 @end deftypefun