Searched refs:ipi_local_id (Results 1 – 1 of 1) sorted by relevance
71 uint32_t ipi_local_id; in ipi_smc_handler() local75 ipi_local_id = x1 & UNSIGNED32_MASK; in ipi_smc_handler()90 ipi_mb_open(ipi_local_id, ipi_remote_id); in ipi_smc_handler()93 ipi_mb_release(ipi_local_id, ipi_remote_id); in ipi_smc_handler()100 ret = ipi_mb_enquire_status(ipi_local_id, ipi_remote_id); in ipi_smc_handler()102 ipi_mb_disable_irq(ipi_local_id, ipi_remote_id); in ipi_smc_handler()110 ipi_mb_notify(ipi_local_id, ipi_remote_id, is_blocking); in ipi_smc_handler()118 ipi_mb_ack(ipi_local_id, ipi_remote_id); in ipi_smc_handler()120 ipi_mb_enable_irq(ipi_local_id, ipi_remote_id); in ipi_smc_handler()124 ipi_mb_enable_irq(ipi_local_id, ipi_remote_id); in ipi_smc_handler()[all …]
Completed in 3 milliseconds