drivers/arm/gic/arm_gic.c
/*******************************************************************************
 * Get the current CPU bit mask from GICD_ITARGETSR0
 ******************************************************************************/
Get the current CPU bit mask from GICD_ITARGETSR0
Get the current CPU bit mask from GICD_ITARGETSR0
static unsigned int arm_gic_get_cpuif_id(void)
{
	unsigned int val;
	val = gicd_read_itargetsr(g_gicd_base, 0);
	return val & GIC_TARGET_CPU_MASK;
}
static unsigned int arm_gic_get_cpuif_id ( void ) { unsigned int val ; val = gicd_read_itargetsr ( g_gicd_base , 0 ) ; return val & GIC_TARGET_CPU_MASK ; }
Get the current CPU bit mask from GICD_ITARGETSR0
Get the current CPU bit mask from GICD_ITARGETSR0