/* Function to free any resources allocated by the HW models Note that this function needs to be designed so it is possible to call it more than once during cleanup  */
void hwm_cleanup(void)
/* Function to free any resources allocated by the HW models Note that this function needs to be designed so it is possible to call it more than once during cleanup  */
void hwm_cleanup(void)
{
	hwtimer_cleanup();
	hw_irq_ctrl_cleanup();
}