diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | manual/platform.texi | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 6c5111c792..175ca0ce1f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2013-05-26 Thomas Schwinge <thomas@codesourcery.com> + + * manual/platform.texi: Add missing @end deftypefun. + 2013-05-24 Joseph Myers <joseph@codesourcery.com> [BZ #15529] diff --git a/manual/platform.texi b/manual/platform.texi index f1a40d63a4..99f46755a0 100644 --- a/manual/platform.texi +++ b/manual/platform.texi @@ -57,6 +57,7 @@ Provide a hint that performance will probably be improved if shared resources dedicated to the executing processor are released until all outstanding storage accesses to cacheable storage for which the data is not in the cache have been completed. +@end deftypefun @deftypefun {void} __ppc_set_ppr_med (void) Set the Program Priority Register to medium value (default). |