1 #include "syslib.h" 2 3 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.m_lsys_krn_readbios.size = size; 12 m.m_lsys_krn_readbios.addr = address; 13 m.m_lsys_krn_readbios.buf = (vir_bytes)buf; 14 return(_kernel_call(SYS_READBIOS, &m)); 15 } 16