exit

exit is an alias for quit.

See quit, exit.

Copyright © 2010, 2011 ARM. All rights reserved.ARM DUI 0452D
Non-ConfidentialID011411