/*
* Detect known Virtual Machine hosts by inspecting the emulated BIOS.
*/
enum vmm_guest_type
detect_virtual(void)
{
char *sysenv;
int i;
sysenv = kgetenv("smbios.bios.vendor");
if (sysenv != NULL) {
for (i = 0; vmm_bnames[i].str != NULL; i++)
if (strcmp(sysenv, vmm_bnames[i].str) == 0) {
kfreeenv(sysenv);
return (vmm_bnames[i].type);
}
kfreeenv(sysenv);
}
sysenv = kgetenv("smbios.system.product");
if (sysenv != NULL) {
for (i = 0; vmm_pnames[i].str != NULL; i++)
if (strcmp(sysenv, vmm_pnames[i].str) == 0) {
kfreeenv(sysenv);
return (vmm_pnames[i].type);
}
kfreeenv(sysenv);
}
return (VMM_GUEST_NONE);
}
static void
fadt_probe(void)
{
struct acpi_fadt *fadt;
vm_paddr_t fadt_paddr;
enum intr_trigger trig;
enum intr_polarity pola;
int enabled = 1;
char *env;
fadt_paddr = sdt_search(ACPI_FADT_SIG);
if (fadt_paddr == 0) {
kprintf("fadt_probe: can't locate FADT\n");
return;
}
fadt = sdt_sdth_map(fadt_paddr);
KKASSERT(fadt != NULL);
/*
* FADT in ACPI specification 1.0 - 4.0
*/
if (fadt->fadt_hdr.sdth_rev < 1 || fadt->fadt_hdr.sdth_rev > 4) {
kprintf("fadt_probe: unsupported FADT revision %d\n",
fadt->fadt_hdr.sdth_rev);
goto back;
}
if (fadt->fadt_hdr.sdth_len < sizeof(*fadt)) {
kprintf("fadt_probe: invalid FADT length %u\n",
fadt->fadt_hdr.sdth_len);
goto back;
}
kgetenv_int("hw.acpi.sci.enabled", &enabled);
if (!enabled)
goto back;
acpi_sci_irq = fadt->fadt_sci_int;
env = kgetenv("hw.acpi.sci.trigger");
if (env == NULL)
goto back;
trig = INTR_TRIGGER_CONFORM;
if (strcmp(env, "edge") == 0)
trig = INTR_TRIGGER_EDGE;
else if (strcmp(env, "level") == 0)
trig = INTR_TRIGGER_LEVEL;
kfreeenv(env);
if (trig == INTR_TRIGGER_CONFORM)
goto back;
env = kgetenv("hw.acpi.sci.polarity");
if (env == NULL)
goto back;
pola = INTR_POLARITY_CONFORM;
if (strcmp(env, "high") == 0)
pola = INTR_POLARITY_HIGH;
else if (strcmp(env, "low") == 0)
pola = INTR_POLARITY_LOW;
kfreeenv(env);
if (pola == INTR_POLARITY_CONFORM)
goto back;
acpi_sci_trig = trig;
acpi_sci_pola = pola;
back:
if (acpi_sci_irq >= 0) {
FADT_VPRINTF("SCI irq %d, %s/%s\n", acpi_sci_irq,
intr_str_trigger(acpi_sci_trig),
intr_str_polarity(acpi_sci_pola));
} else {
FADT_VPRINTF("SCI is disabled\n");
}
sdt_sdth_unmap(&fadt->fadt_hdr);
}
static void
fadt_probe(void)
{
ACPI_TABLE_FADT *fadt;
vm_paddr_t fadt_paddr;
enum intr_trigger trig;
enum intr_polarity pola;
int enabled = 1;
char *env;
fadt_paddr = sdt_search(ACPI_SIG_FADT);
if (fadt_paddr == 0) {
kprintf("fadt_probe: can't locate FADT\n");
return;
}
fadt = sdt_sdth_map(fadt_paddr);
KKASSERT(fadt != NULL);
/*
* FADT in ACPI specification 1.0 - 6.0
*/
if (fadt->Header.Revision < 1 || fadt->Header.Revision > 6) {
kprintf("fadt_probe: unknown FADT revision %d\n",
fadt->Header.Revision);
}
if (fadt->Header.Length < ACPI_FADT_V1_SIZE) {
kprintf("fadt_probe: invalid FADT length %u (< %u)\n",
fadt->Header.Length, ACPI_FADT_V1_SIZE);
goto back;
}
kgetenv_int("hw.acpi.sci.enabled", &enabled);
if (!enabled)
goto back;
acpi_sci_irq = fadt->SciInterrupt;
env = kgetenv("hw.acpi.sci.trigger");
if (env == NULL)
goto back;
trig = INTR_TRIGGER_CONFORM;
if (strcmp(env, "edge") == 0)
trig = INTR_TRIGGER_EDGE;
else if (strcmp(env, "level") == 0)
trig = INTR_TRIGGER_LEVEL;
kfreeenv(env);
if (trig == INTR_TRIGGER_CONFORM)
goto back;
env = kgetenv("hw.acpi.sci.polarity");
if (env == NULL)
goto back;
pola = INTR_POLARITY_CONFORM;
if (strcmp(env, "high") == 0)
pola = INTR_POLARITY_HIGH;
else if (strcmp(env, "low") == 0)
pola = INTR_POLARITY_LOW;
kfreeenv(env);
if (pola == INTR_POLARITY_CONFORM)
goto back;
acpi_sci_trig = trig;
acpi_sci_pola = pola;
back:
if (acpi_sci_irq >= 0) {
FADT_VPRINTF("SCI irq %d, %s/%s\n", acpi_sci_irq,
intr_str_trigger(acpi_sci_trig),
intr_str_polarity(acpi_sci_pola));
} else {
FADT_VPRINTF("SCI is disabled\n");
}
sdt_sdth_unmap(&fadt->Header);
}
