tavor_rsrc_init_phase1
status = tavor_rsrc_init_phase1(state);
int tavor_rsrc_init_phase1(tavor_state_t *state);