softint_reg_t 52 kernel/arch/sparc64/src/drivers/tick.c softint_reg_t clear; softint_reg_t 87 kernel/arch/sparc64/src/drivers/tick.c softint_reg_t softint, clear;