#ifndef _DEV_PROFILE_H_
#define _DEV_PROFILE_H_

#include "irq.h"
#include "error.h"
#include "../config/app_config.h"

// device parameters
extern struct irq_init_param intc_init_param;
extern struct timer_init_param scutimer_init_param;
extern struct global_timer_init_param globaltimer_init_param;

#endif /* SRC_DEV_PROFILE_H_ */