lib/libsys/sys_readbios.c

   1 #include "syslib.h"
   2
   3 PUBLIC int sys_readbios(address, buf, size)
   4 phys_bytes address;             /* Absolute memory address */
   5 void *buf;                      /* Buffer to store the results */
   6 size_t size;                    /* Amount of data to read */
   7 {
   8 /* Read data from BIOS locations */
   9   message m;
  10
  11   m.RDB_SIZE = size;
  12   m.RDB_ADDR = address;
  13   m.RDB_BUF = buf;
  14   return(_kernel_call(SYS_READBIOS, &m));
  15 }