do_mod_timer     1106 drivers/char/ipmi/ipmi_si_intf.c 		goto do_mod_timer;
do_mod_timer     1121 drivers/char/ipmi/ipmi_si_intf.c do_mod_timer: