19512fe85Sahl /*
29512fe85Sahl  * CDDL HEADER START
39512fe85Sahl  *
49512fe85Sahl  * The contents of this file are subject to the terms of the
59512fe85Sahl  * Common Development and Distribution License (the "License").
69512fe85Sahl  * You may not use this file except in compliance with the License.
79512fe85Sahl  *
89512fe85Sahl  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
99512fe85Sahl  * or http://www.opensolaris.org/os/licensing.
109512fe85Sahl  * See the License for the specific language governing permissions
119512fe85Sahl  * and limitations under the License.
129512fe85Sahl  *
139512fe85Sahl  * When distributing Covered Code, include this CDDL HEADER in each
149512fe85Sahl  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
159512fe85Sahl  * If applicable, add the following below this CDDL HEADER, with the
169512fe85Sahl  * fields enclosed by brackets "[]" replaced with your own identifying
179512fe85Sahl  * information: Portions Copyright [yyyy] [name of copyright owner]
189512fe85Sahl  *
199512fe85Sahl  * CDDL HEADER END
209512fe85Sahl  */
219512fe85Sahl 
229512fe85Sahl /*
23*9e8164f5Sahl  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
249512fe85Sahl  * Use is subject to license terms.
259512fe85Sahl  */
269512fe85Sahl 
279512fe85Sahl /*
28*9e8164f5Sahl  * ASSERTION: Verify that argN and args[N] variables are properly remapped.
299512fe85Sahl  */
30*9e8164f5Sahl 
319512fe85Sahl BEGIN
329512fe85Sahl {
339512fe85Sahl 	/* Timeout after 5 seconds */
349512fe85Sahl 	timeout = timestamp + 5000000000;
359512fe85Sahl }
369512fe85Sahl 
379512fe85Sahl test_prov$1:::place
38*9e8164f5Sahl /arg0 != 4 || arg1 != 10 || arg2 != 10 || arg3 != 4/
399512fe85Sahl {
40*9e8164f5Sahl 	printf("args are %d, %d, %d, %d; should be 4, 10, 10, 4",
41*9e8164f5Sahl 	    arg0, arg1, arg2, arg3);
42*9e8164f5Sahl 	exit(1);
439512fe85Sahl }
449512fe85Sahl 
459512fe85Sahl test_prov$1:::place
46*9e8164f5Sahl /args[0] != 4 || args[1] != 10 || args[2] != 10 || args[3] != 4/
479512fe85Sahl {
489512fe85Sahl 	printf("args are %d, %d, %d, %d; should be 4, 10, 10, 4",
49*9e8164f5Sahl 	    args[0], args[1], args[2], args[3]);
509512fe85Sahl 	exit(1);
519512fe85Sahl }
529512fe85Sahl 
53*9e8164f5Sahl test_prov$1:::place
54*9e8164f5Sahl {
55*9e8164f5Sahl 	exit(0);
56*9e8164f5Sahl }
57*9e8164f5Sahl 
589512fe85Sahl profile:::tick-1
599512fe85Sahl /timestamp > timeout/
609512fe85Sahl {
619512fe85Sahl 	trace("test timed out");
629512fe85Sahl 	exit(1);
639512fe85Sahl }
64