Searched refs:gic_get_current_cpu (Results 1 – 2 of 2) sorted by relevance
251 cpu = gic_get_current_cpu(); in gic_dist_readb()382 cpu = gic_get_current_cpu(); in gic_dist_writeb()536 cpu = gic_get_current_cpu(); in gic_dist_writel()
25 gic_get_current_cpu(void) in gic_get_current_cpu() function