ACPIsdt
struct ACPIsdt *acpi_map_sdt(vm_offset_t _pa);
void aml_dump(struct ACPIsdt *_hdr);
void acpi_print_sdt(struct ACPIsdt *_sdp);
void acpi_print_rsdt(struct ACPIsdt *_rsdp);
void acpi_print_xsdt(struct ACPIsdt *_rsdp);
void acpi_print_dsdt(struct ACPIsdt *_dsdp);
void acpi_handle_dsdt(struct ACPIsdt *_dsdp);
void acpi_handle_rsdt(struct ACPIsdt *_rsdp);
void acpi_handle_xsdt(struct ACPIsdt *_rsdp);
struct ACPIsdt dsdt_header = {
struct ACPIsdt *
struct ACPIsdt *sp;
sp = acpi_map_physical(pa, sizeof(struct ACPIsdt));
aml_dump(struct ACPIsdt *hdr)
acpi_print_sdt(struct ACPIsdt *sdp)
acpi_print_rsdt(struct ACPIsdt *rsdp)
acpi_print_xsdt(struct ACPIsdt *rsdp)
acpi_print_dsdt(struct ACPIsdt *dsdp)
acpi_handle_dsdt(struct ACPIsdt *dsdp)
struct ACPIsdt *dsdp;
dsdp = (struct ACPIsdt *) acpi_map_sdt(facp->x_dsdt);
dsdp = (struct ACPIsdt *) acpi_map_sdt(facp->dsdt_ptr);
acpi_handle_rsdt(struct ACPIsdt *rsdp)
struct ACPIsdt *sdp;
sdp = (struct ACPIsdt *) acpi_map_sdt(rsdp->body[i]);
acpi_handle_xsdt(struct ACPIsdt *rsdp)
struct ACPIsdt *sdp;
sdp = (struct ACPIsdt *) acpi_map_sdt(body[i]);
struct ACPIsdt *rsdp;
rsdp = (struct ACPIsdt *) acpi_map_sdt(rp->xaddr);
rsdp = (struct ACPIsdt *) acpi_map_sdt(rp->addr);