/*
** Copyright (C) ARM Limited, 2002. All rights reserved.
*/

/*
** Instantiate structure timer1 - to be placed over peripheral registers
** by scatter file
*/

#include "intgrt_struct.h"

struct timer timer1;