Searched refs:timer_dev (Results 1 – 1 of 1) sorted by relevance
425 int timer_dev; /* timer device */ member607 int timer_dev,