rsdp_xsdt         657 dev/acpi/acpi.c 		if (acpi_map(rsdp->rsdp_xsdt, sizeof(*hdr), &handle)) {
rsdp_xsdt         667 dev/acpi/acpi.c 		acpi_map(rsdp->rsdp_xsdt, len, &hrsdt);
rsdp_xsdt          44 dev/acpi/acpireg.h 	u_int64_t	rsdp_xsdt;		/* physical */