diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-05-26 18:06:30 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-05-26 18:06:30 +0200 |
| commit | 2b66ef5d55325b2957d6c62908ca065228e56814 (patch) | |
| tree | 7870645d61853e7a83e8332518300691cdaf62f3 /manual | |
| parent | 0323d08657f111267efa47bd448fbf6cd76befe8 (diff) | |
* manual/platform.texi: Add missing @end deftypefun.
Fixup for commit d116b7c414c8239b677e341ac517745db689ac2d.
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/platform.texi | 1 |
1 files changed, 1 insertions, 0 deletions
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). |