bitkeeper revision 1.794 (4051fd87nK-gAeb8GiVFKFi5_7C6VQ)

Merge ssh://srg//auto/groups/xeno/BK/xeno.bk
into equilibrium.research.intel-research.net:/home/irchomes/mwilli2/src/xeno-trace-doc.bk

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)}