/*###########################################################################
###  Intel Confidential
###  Copyright (c) Intel Corporation 2007
###  All Rights Reserved.
###  ----------------------------------------------------------------------
###  Project: Intel Flash Driver
###
###  Module: efd_hal.c -
###
###  $Archive: $
###  $Revision: $
###  $Date: $
###
###  $NoKeywords: $
##############################################################################
###
###  NOTICE OF LICENSE AGREEMENT
###
###  This code is provided by Intel Corp., and the use is governed
###  under the terms of a license agreement. See license agreement
###  for complete terms of license.
###
###  YOU MAY ONLY USE THE SOFTWARE SUBJECT TO THE TERMS OF THE
###  INTEL SOFTWARE LICENSE AGREEMENT.
###
########################################################################### */


#include "efd_conf.h"
#include "efd_def.h"
#include "efd_err.h"
#include "efd_cmd.h"
#include "efd_hal.h"


#define PXA27X_REG(x)	(*(volatile UINT32*)(x))

/*
 * OS Timer
 */
#define TIMER_BASE         0x40A00000  /* PXA27x Timer register base address */

#define PXA27X_OSCR		PXA27X_REG(0x10 + TIMER_BASE)  /* PXA27x OS Timer Counter Register */

/*
 * Interrupt Controller
 */
static  UINT32 irq_status = DISABLE_INTERRUPTS;

#define INT_BASE           0x40D00000 /* PXA27x Interrupt register base address */

#define PXA27X_ICIP		PXA27X_REG(0x00 + INT_BASE)   /* PXA27x Interrupt Controller IRQ Pending Register