arch(3), aml(2): document /dev/acpitbls file

sys/man/2/aml

@@ -52,6 +52,11 @@ definition block of
 .I len
 byte size read from
 .IR data .
+The pc kernel provides access to the ACPI tables through the
+.B /dev/acpitbls
+file (see
+.IR arch (3)
+for further details).
 .TP
 .BI amltag( p )
 Objects are dynamically allocated and typed and are passed as
@@ -278,3 +283,5 @@ defined in
 for dynamic allocation.
 .SH SOURCE
 .B /sys/src/libaml
+.SH "SEE ALSO"
+.IR arch (3)

sys/man/3/arch

@@ -5,6 +5,7 @@ arch \- architecture-specific information and control
 .nf
 .B bind -a #P /dev
 .sp 0.3v
+.B /dev/acpitbls
 .B /dev/archctl
 .B /dev/cputype
 .B /dev/ioalloc
@@ -126,6 +127,14 @@ file descriptor.
 Reads and writes to
 .I msr
 go to the P4/P6/Core/Core2/AMD64 MSRs.
+.PP
+Reads from
+.I acpitbls
+returns a concatenation of system ACPI tables. Each table
+is prefixed with a fixed size header that gives the name
+sigature and size of the table (see section
+.IR "5.2.6 System Description Table Header"
+in the ACPI specification).
 .SH EXAMPLE
 The following code reads from an x86 byte I/O port.
 .IP