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