Searched refs:my_cpumask (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/arch/arm/
H A Dgic_v2.c181 uint8_t my_cpumask = gic_get_cpumask(); local
182 uint32_t dest_cpumask = my_cpumask;

Completed in 141 milliseconds