Extra Information for Timer Counter Driver