More cleanup.
[akaros.git] / kern / drivers / dev / acpi.c
index 5275771..18d978e 100644 (file)
@@ -214,11 +214,6 @@ ioset32(uintptr_t p, uint32_t v, void*unused)
        outl(p, v);
 }
 
-#define explode_tbdf(tbdf) {pcidev.bus = tbdf >> 16;\
-               pcidev.dev = (tbdf>>11)&0x1f;\
-               pcidev.func = (tbdf>>8)&3;}
-
-
 static uint8_t
 cfgget8(uintptr_t p, void* r)
 {
@@ -958,6 +953,7 @@ static char *printiflags(char *start, char *end, int flags)
                polarity[flags & AFpmask], 
                trigger[(flags & AFtmask)>>2]);
 }
+
 static char *
 dumpmadt(char *start, char *end, struct Madt *apics)
 {
@@ -965,6 +961,7 @@ dumpmadt(char *start, char *end, struct Madt *apics)
 
        start = seprintf(start, end, "acpi: madt lapic paddr %llux pcat %d:\n", apics->lapicpa, apics->pcat);
        for(st = apics->st; st != NULL; st = st->next)
+
                switch(st->type){
                case ASlapic:
                        start = seprintf(start, end, "\tlapic pid %d id %d\n", st->lapic.pid, st->lapic.id);