Lines Matching refs:rsdp
121 ACPI_TABLE_RSDP *rsdp;
133 rsdp = efi_get_table(&acpi20_guid);
134 if (rsdp == NULL) {
135 rsdp = efi_get_table(&acpi_guid);
137 if (rsdp != NULL) {
138 sprintf(buf, "0x%016llx", (unsigned long long)rsdp);
139 setenv("hint.acpi.0.rsdp", buf, 1);
140 setenv("acpi.rsdp", buf, 1);
141 revision = rsdp->Revision;
147 strncpy(buf, rsdp->OemId, sizeof(rsdp->OemId));
148 buf[sizeof(rsdp->OemId)] = '\0';
151 sprintf(buf, "0x%016x", rsdp->RsdtPhysicalAddress);
157 (unsigned long long)rsdp->XsdtPhysicalAddress);
160 sprintf(buf, "%d", rsdp->Length);
166 vm_offset_t rsdp;
167 rsdp = acpi_rsdp();
168 if (rsdp != 0) {
171 printf("Found ACPI 2.0 at %#016lx\n", rsdp);
172 sprintf(buf, "0x%016llx", (unsigned long long)rsdp);
173 setenv("hint.acpi.0.rsdp", buf, 1); /* For 13.1R bootability */
174 setenv("acpi.rsdp", buf, 1);