Module io

Just read/write from the device address.

We use the K-Seg memory traits to write or read to or from the device address.

Functions

• ioread_into_va
  Read the content from src_paddr and write it to the dst_addr.
• iowrite_from_va
  Write the content in src_addr to the dst_paddr.