Searched refs:el2_s2pie_regs_t (Results 1 – 1 of 1) sorted by relevance
120 } el2_s2pie_regs_t; typedef206 el2_s2pie_regs_t s2pie;