Lines Matching defs:spmi
3075 ACPI_TABLE_SPMI *spmi;
3079 spmi = (ACPI_TABLE_SPMI *)sdp;
3082 switch (spmi->InterfaceType) {
3096 printf("Reserved(%d)", spmi->InterfaceType);
3099 printf("\n\tSpecRevision=%d.%d", spmi->SpecRevision >> 8,
3100 spmi->SpecRevision & 0xff);
3103 if (spmi->InterruptType & 0x1) {
3104 printf("\n\t\tSCI triggered GPE=%d", spmi->GpeNumber);
3106 if (spmi->InterruptType & 0x2) {
3107 printf("\n\t\tIO APIC/SAPIC={ GSI=%d }", spmi->Interrupt);
3112 acpi_print_gas(&spmi->IpmiRegister);
3115 if ((spmi->PciDeviceFlag & 0x01) != 0)
3116 acpi_print_pci_sbdf(spmi->PciSegment, spmi->PciBus,
3117 spmi->PciDevice, spmi->PciFunction);