Searched refs:WD_SERVICED (Results 1 – 2 of 2) sorted by relevance
28 #define WD_SERVICED 0x10 /* timer interrupt was serviced */ macro
742 ret |= WD_SERVICED; in wd_getstatus()