From 8ad11b9a9cf1de82bd7771306b42070b91417c11 Mon Sep 17 00:00:00 2001 From: Tulio Magno Quites Machado Filho Date: Tue, 25 Sep 2012 14:48:28 -0500 Subject: Add __ppc_get_timebase_freq to ppc.h. --- manual/platform.texi | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'manual') diff --git a/manual/platform.texi b/manual/platform.texi index 02b5c554ab..e387ff4cc9 100644 --- a/manual/platform.texi +++ b/manual/platform.texi @@ -26,3 +26,11 @@ different from the processor frequency. More information is available in without requiring assistance from the operating system, so it is very efficient. @end deftypefun + +@deftypefun {uint64_t} __ppc_get_timebase_freq (void) +Read the current frequency at which the Time Base Register is updated. + +This frequency is not related to the processor clock or the bus clock. +It is also possible that this frequency is not constant. More information is +available in @cite{Power ISA 2.06b - Book II - Section 5.2}. +@end deftypefun -- cgit 1.4.1