diff --git a/docs/interface.tex b/docs/interface.tex
index 96eed2019f..2736a0412d 100644
--- a/docs/interface.tex
+++ b/docs/interface.tex
@@ -512,17 +512,26 @@ in kilobytes.
 
 {\it DOM0\_GETDOMAINFO}: get statistics about the domain
 
+{\it DOM0\_GETPAGEFRAMEINFO}:
+
 {\it DOM0\_IOPL}:
 
 {\it DOM0\_MSR}:
 
-{\it DOM0\_DEBUG}:
+{\it DOM0\_DEBUG}: interactively call pervasive debugger
 
 {\it DOM0\_SETTIME}: set system time
 
-{\it DOMO\_READCONSOLE}: read console content from hypervisor buffer ring
+{\it DOM0\_READCONSOLE}: read console content from hypervisor buffer ring
 
-{\it DOMO\_PINCPUDOMAIN}: pin domain to a particular CPU
+{\it DOM0\_PINCPUDOMAIN}: pin domain to a particular CPU
+
+{\it DOM0\_GETTBUFS}: get information about the size and location of
+                      the trace buffers (only on trace-buffer enabled builds)
+
+{\it DOM0\_PHYSINFO}: get information about the host machine
+
+{\it DOM0\_PCIDEV\_ACCESS}: modify PCI device access permissions
 
 
 \section{network\_op(network\_op\_t *op)}