[PATCH 0/8] Clean up ravenscar-thread.c

[Tom Tromey]

This series cleans up a few issues that I noticed in
ravenscar-thread.c.  Most of it is fairly straightforward, with some
patches being trivial.

There is one more general change in here, to add a push_target
overload.  See patch #6.

Finally, this series fixes a bug in ravenscar-thread, where wildcard
requests (to resume or wait) would not be respected.  This caused
problems when testing with qemu.

I tested this using the AdaCore internal test suite, which has some
Ravenscar tests.

Tom