vmap_phys
ptr = vmap_phys(len, paddr);
uint16_t *ebda_seg = (uint16_t *)vmap_phys(sizeof (uint16_t),
tp = (ACPI_TABLE_HEADER *)vmap_phys(len, table_addr);
tp = (ACPI_TABLE_HEADER *)vmap_phys(tp->Length, table_addr);