restore_and_read_stage
restore_and_read_stage(state_session_fd, STATE_MEMFD_TOKEN, &stage);
restore_and_read_stage(state_session_fd, STATE_MEMFD_TOKEN, &stage);
void restore_and_read_stage(int state_session_fd, int token, int *stage);