__ppc_get_timebase.3: Minor tweaks

Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>

man3/__ppc_get_timebase.3

@@ -1,5 +1,6 @@
 .\" Copyright (c) 2012, IBM Corporation.
 .\"
+.\" %%%LICENSE_START(VERBATIM)
 .\" Permission is granted to make and distribute verbatim copies of this
 .\" manual provided the copyright notice and this permission notice are
 .\" preserved on all copies.
@@ -19,29 +20,33 @@
 .\"
 .\" Formatted or processed versions of this manual, if unaccompanied by
 .\" the source, must acknowledge the copyright and authors of this work.
-
+.\" %%%LICENSE_END
+.\"
 .TH __PPC_GET_TIMEBASE 3 2012-08-13 "GNU C Library" "Linux Programmer's\
 Manual"
 .SH NAME
-__ppc_get_timebase \- Get the current value of the Time Base Register on
+__ppc_get_timebase \- get the current value of the Time Base Register on
 Power architecture
 .SH SYNOPSIS
 .B #include <sys/platform/ppc.h>
 .sp
 .BI "uint64_t __ppc_get_timebase(void)"
 .SH DESCRIPTION
-.BR __ppc_get_timebase()
+.BR __ppc_get_timebase ()
 reads the current value of the Time Base Register and returns its value.
-The Time Base Register is a 64-bit register presented in Power Architecture
-processors that stores a monotonically incremented value updated at a
+The Time Base Register is a 64-bit register provided by Power Architecture
+processors.
+It stores a monotonically incremented value that is updated at a
 system-dependent frequency that may be different from the processor
 frequency.
 .SH RETURN VALUE
 Returns a 64-bit unsigned integer that represents the current value of the
 Time Base Register.
 .SH VERSIONS
-The GNU C Library support for __ppc_get_timebase has been provided since
-version 2.16.
+GNU C Library support for
+.\" commit d9dc34cd569bcfe714fe8c708e58c028106e8b2e
+.BR __ppc_get_timebase ()
+has been provided since version 2.16.
 .SH CONFORMING TO
 This function is a nonstandard GNU extension.
 .SH SEE ALSO