From what I'm looking at, Davidson didn't get added to Arizona's 40 until he was called up in August 2013, and stayed up the rest of the season, so that wouldn't count as an option year for him.
EDIT: I just found where Davidson got option back in 2013 after being called up, so yeah, he's out of options.