rsdp_revision     368 dev/acpi/acpi.c 	printf(": rev %d", (int)rsdp->rsdp_revision);
rsdp_revision     654 dev/acpi/acpi.c 	if (rsdp->rsdp_revision == 2) {