FFA_INTERRUPT
while (ret.a0 == FFA_INTERRUPT)
while (ret->a0 == FFA_INTERRUPT || ret->a0 == FFA_YIELD) {