essa_state
int dat_perform_essa(union asce asce, gfn_t gfn, int orc, union essa_state *state, bool *dirty)
*state = (union essa_state) { .exception = 1 };
*state = (union essa_state) {
int dat_perform_essa(union asce asce, gfn_t gfn, int orc, union essa_state *state, bool *dirty);
union essa_state state;