[OpenBIOS] [PATCH 2/5] SPARC64: increment ms counter at obp_tick_pointer on every timer interrupt