headers/private/kernel/arch/int.h
src/add-ons/kernel/drivers/timer/int.h