Searched refs:gic400_restore (Results 1 – 1 of 1) sorted by relevance
310 static void gic400_restore(void) in gic400_restore() function929 gic400_restore(); in vd_log_regs_restore()