Searched refs:ccsr_gic_base (Results 1 – 1 of 1) sorted by relevance
115 void *ccsr_gic_base = (void *)SYS_FSL_GIC_ADDR; in ls1_start_fsm() local132 out_be32(ccsr_gic_base + CCSR_GICD_CTLR, 0x0); in ls1_start_fsm()133 out_be32(ccsr_gic_base + CCSR_GICC_CTLR, 0x0); in ls1_start_fsm()