Fix name of parameter in xdoc, add defpointer for all-calls.

books/system/doc/acl2-doc.lisp

@@ -97808,7 +97808,7 @@ arithmetic) for libraries of @(see books) for arithmetic reasoning.</p>")
  such that for some @('f') in the list, @('names'), @('u') is a subterm of the
  pseudo-term, @('term'), that is a call of the symbol, @('f').  Note that
  @('(all-calls-lst names lst alist ans)') is similar, except for a list,
- @('list'), of terms in place of a single term, @('term').</li>
+ @('lst'), of terms in place of a single term, @('term').</li>
 
  <li>@('(all-vars x)'): For a @(tsee pseudo-termp) @('x'), return the list of
  variables in @('x') in reverse print order of first occurrence.  For example,
@@ -114932,6 +114932,7 @@ expand function call at the current subterm, without simplifying"
 (defpointer add-to-set-eq add-to-set)
 (defpointer add-to-set-eql add-to-set) ; pre-v4-3 compatibility
 (defpointer add-to-set-equal add-to-set)
+(defpointer all-calls system-utilities)
 (defpointer all-vars system-utilities)
 (defpointer apropos finding-documentation)
 (defpointer assoc-eq assoc)