Searched refs:_store_int_timer_2 (Results 1 – 1 of 1) sorted by last modified time
510 static void ARCH_DEP(_store_int_timer_2) (REGS *regs,int getlock) in ARCH_DEP() argument546 ARCH_DEP(_store_int_timer_2) (regs,1); in ARCH_DEP()552 ARCH_DEP(_store_int_timer_2) (regs,0); in ARCH_DEP()