Searched refs:saved_sgi (Results 1 – 1 of 1) sorted by relevance
55 unsigned int saved_sgi[PLATFORM_CORE_COUNT]; member191 gic_data.saved_sgi[proc_num] = in gic_sgi_save_all()205 gic_data.saved_sgi[proc_num] & SGI_MASK); in gic_sgi_restore_all()
