log_:
  - message: const char *
map:
  - return: void *
  - virt_base: void *
  - count: uint32_t
map_contiguous:
  - return: void *
  - virt_base: void *
  - phys_low: uint32_t
  - phys_high: uint32_t
  - count: uint32_t
query_map_size:
  - return: uint32_t
  - base: void *
unmap:
  - virt_base: void *
  - count: uint32_t
get_xbebase:
  - return: XbeHeader_t *
create_thread:
  - return: uint32_t
  - eip: thread_ep_t
  - esp: void *
  - arg: uint32_t
terminate_thread:
query_eeprom:
  - return: uint32_t
  - index: uint32_t
io_open:
  - return: uint32_t
  - dir_handle: uint32_t
  - fn: char *
  - flags: FSFlags
io_read:
  - return: bool
  - handle: uint32_t
  - buf: void *
  - count: uint32_t
  - offset: int64_t
io_write:
  - return: bool
  - handle: uint32_t
  - buf: void *
  - count: uint32_t
  - offset: int64_t
io_ioctl:
  - return: bool
  - handle: uint32_t
  - code: uint32_t
  - ibuf: void *
  - isize: uint32_t
  - obuf: void *
  - osize: uint32_t
close:
  - handle: uint32_t
get_system_time:
  - time: uint64_t *
pci_read:
  - bus: uint32_t
  - slot: uint32_t
  - reg: uint32_t
  - buffer: void *
  - length: uint32_t
pci_write:
  - bus: uint32_t
  - slot: uint32_t
  - reg: uint32_t
  - buffer: void *
  - length: uint32_t