pmap_unmapbios
pmap_unmapbios(header, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(header, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(table, length);
pmap_unmapbios(table, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(table, header->Length);
pmap_unmapbios(rsdp, sizeof(ACPI_TABLE_RSDP));
pmap_unmapbios(rsdp, sizeof(ACPI_TABLE_RSDP));
pmap_unmapbios(rsdp, sizeof(ACPI_TABLE_RSDP));
pmap_unmapbios(rsdp, sizeof(ACPI_TABLE_RSDP));
pmap_unmapbios(table, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(table, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(table, header->Length);
pmap_unmapbios(rsdp, sizeof(ACPI_TABLE_RSDP));
pmap_unmapbios(rsdp, sizeof(ACPI_TABLE_RSDP));
pmap_unmapbios(rsdp, sizeof(ACPI_TABLE_RSDP));
pmap_unmapbios(header, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(header, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(table, length);
void pmap_unmapbios(void *, vm_size_t);
pmap_unmapbios(x86bios_ivt, X86BIOS_IVT_SIZE);
pmap_unmapbios(LogicalAddress, Length);
pmap_unmapbios(table, table_len);
pmap_unmapbios(table, table_len);
pmap_unmapbios(cpus, sizeof(*cpus) * max_cpus);
pmap_unmapbios(va, sizeof(struct cb_header));
pmap_unmapbios(va, sizeof(struct cb_header));
pmap_unmapbios(va, map_size);
pmap_unmapbios(va, sizeof(struct cb_header));
pmap_unmapbios(va, map_size);
pmap_unmapbios(va, map_size);
pmap_unmapbios(va, map_size);
pmap_unmapbios(sc->table_vaddr, sc->table_size);
pmap_unmapbios(sc->console_vaddr, sc->console_size);
pmap_unmapbios(va, sizeof(struct cb_header));
pmap_unmapbios(va, sizeof(struct cb_header));
pmap_unmapbios(mapped, map_size);
pmap_unmapbios(tmp, sizeof(struct cbmem_console));
pmap_unmapbios(sc->console_vaddr, sc->console_size);
pmap_unmapbios(va, sizeof(struct cb_timestamp_table));
pmap_unmapbios(va, map_size);
pmap_unmapbios(va, map_size);
pmap_unmapbios(header, sizeof(struct smbios_eps));
pmap_unmapbios(header, header->length);
pmap_unmapbios(table, header->structure_table_length);
pmap_unmapbios(header, header->length);
pmap_unmapbios(ptr, map_size);
pmap_unmapbios(va, size);
pmap_unmapbios(va, size);
pmap_unmapbios(header, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(header, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(table, length);
pmap_unmapbios(table, sizeof(ACPI_TABLE_HEADER));
pmap_unmapbios(table, header->Length);
pmap_unmapbios(rsdp, sizeof(ACPI_TABLE_RSDP));
pmap_unmapbios(va, 16);
void pmap_unmapbios(void *, vm_size_t);