Searched refs:old_vbar (Results 1 – 1 of 1) sorted by relevance
79 u_register_t old_vbar = read_vbar_el3(); in clear_serror() local103 write_vbar_el3(old_vbar); in clear_serror()