Cable STB SOC, I'm away from my desk but I think it was BCM7456D0. > > Which platform? > > > > Can anyone offer pointers on how to call setup_irq() from plat_time_init()?
Cable STB SOC, I'm away from my desk but I think it was BCM7456D0. > > Which platform? > > > > Can anyone offer pointers on how to call setup_irq() from plat_time_init()?