Searched refs:UNSIGNED32_MASK (Results 1 – 1 of 1) sorted by relevance
46 #define UNSIGNED32_MASK 0xFFFFFFFFU /* 32bit mask */ macro81 ipi_local_id = (uint32_t)(x1 & UNSIGNED32_MASK); in ipi_smc_handler()82 ipi_remote_id = (uint32_t)(x2 & UNSIGNED32_MASK); in ipi_smc_handler()