AR# 17438

3.2 EDK - Base address of DCR INTC is incorrectly computed when it is attached to OPB2DCR bridge


Keywords: DCR, bridge, INTC, BASEADDR, xparameters.h, xparameters

Urgency: Standard

General Description:
The base and high address written to xparameters.h is calculated incorrectly if the interrupt controller (and potentially other DCR devices) is hooked up to the OPB2DCR bridge. The xparameters.h file contains the DCR address, however, it should be the INTC_BASEADDR = OPB2DCRBRIDGE_BASEADDR + 4*INTC_DCR_BASEADDR.


This problem is fixed in the latest 3.2 EDK Service Pack, available at:
The first service pack containing the fix is 3.2 EDK Service Pack 2.
AR# 17438
日期 04/06/2007
状态 Archive
Type 综合文章