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(cpus, sizeof(*cpus) * max_cpus);
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);