* lib/target-supports.exp (check_effective_target_vxworks_kernel):
	Fix comment.
	(check_effective_target_vxworks_rtp): New procedure.
	* g++.dg/opt/20050511-1.C: Rename UINT32 for VxWorks kernel mode.
	* g++.dg/warn/miss-format-1.C: XFAIL for VxWorks.
	* g++.old-deja/g++.abi/cxa_vec.C: XFAIL for VxWorks kernels.
	* g++.old-deja/g++.brendan/new3.C: Likewise.
	* g++.old-deja/g++.eh/badalloc1.C: XFAIL for VxWorks RTPs.
	* g++.old-deja/g++.law/missed-error2.C: Undefine max for
	VxWorks kernel mode.
	* g++.old-deja/g++.mike/init1.C: XFAIL for VxWorks kernel mode.
	* g++.old-deja/g++.mike/p2736.C: Likewise.
	* g++.old-deja/g++.mike/p658.C: Undefine OK for VxWorks kernel mode.
	* g++.old-deja/g++.other/headers1.C: Likewise min and max.
	* g++.old-deja/g++.robertl/eb79.C: Undefine max for VxWorks
	kernel mode.

From-SVN: r134134