CLK_PORT1 54 kernel/arch/amd64/src/drivers/i8254.c #define CLK_PORT1 ((ioport8_t *) 0x40U) CLK_PORT1 54 kernel/arch/ia32/src/drivers/i8254.c #define CLK_PORT1 ((ioport8_t *) 0x40U)