SCMD_PORT
outb(SCMD_PORT, PIC_NSEOI);
outb(SCMD_PORT, PIC_SEOI_LVL7);
printf("#define\tSCMD_PORT 0x%x\n", SCMD_PORT);
(void) outb(SCMD_PORT, PIC_ICW1BASE|PIC_NEEDICW4);
outb(SCMD_PORT, PIC_READISR);