about summary refs log tree commit diff
path: root/manual
diff options
context:
space:
mode:
Diffstat (limited to 'manual')
-rw-r--r--manual/platform.texi1
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).