KERN_ia32_I8254_H_ 36 kernel/arch/amd64/include/arch/drivers/i8254.h #define KERN_ia32_I8254_H_ KERN_ia32_I8254_H_ 36 kernel/arch/ia32/include/arch/drivers/i8254.h #define KERN_ia32_I8254_H_