Symbol: pl35x_smc_wait_for_irq