Call ast() if TDF_NEEDRESCHED is set too, not just TDF_ASTPENDING.
It only supports sa1110 (on simics) right now, but xscale support should come soon. Some of the initial work has been provided by : Stephane Potvin <sepotvin at videotron.ca> Most of this comes from NetBSD.