1*9512fe85Sahl /*
2*9512fe85Sahl  * CDDL HEADER START
3*9512fe85Sahl  *
4*9512fe85Sahl  * The contents of this file are subject to the terms of the
5*9512fe85Sahl  * Common Development and Distribution License (the "License").
6*9512fe85Sahl  * You may not use this file except in compliance with the License.
7*9512fe85Sahl  *
8*9512fe85Sahl  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9*9512fe85Sahl  * or http://www.opensolaris.org/os/licensing.
10*9512fe85Sahl  * See the License for the specific language governing permissions
11*9512fe85Sahl  * and limitations under the License.
12*9512fe85Sahl  *
13*9512fe85Sahl  * When distributing Covered Code, include this CDDL HEADER in each
14*9512fe85Sahl  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15*9512fe85Sahl  * If applicable, add the following below this CDDL HEADER, with the
16*9512fe85Sahl  * fields enclosed by brackets "[]" replaced with your own identifying
17*9512fe85Sahl  * information: Portions Copyright [yyyy] [name of copyright owner]
18*9512fe85Sahl  *
19*9512fe85Sahl  * CDDL HEADER END
20*9512fe85Sahl  */
21*9512fe85Sahl 
22*9512fe85Sahl /*
23*9512fe85Sahl  * Copyright 2006 Sun Microsystems, Inc.  All rights reserved.
24*9512fe85Sahl  * Use is subject to license terms.
25*9512fe85Sahl  */
26*9512fe85Sahl 
27*9512fe85Sahl /*
28*9512fe85Sahl  * ASSERTION:
29*9512fe85Sahl  *   Positive test for ring buffer policy.
30*9512fe85Sahl  *
31*9512fe85Sahl  * SECTION: Buffers and Buffering/ring Policy;
32*9512fe85Sahl  *	Buffers and Buffering/Buffer Sizes;
33*9512fe85Sahl  *	Options and Tunables/bufsize;
34*9512fe85Sahl  *	Options and Tunables/bufpolicy
35*9512fe85Sahl  */
36*9512fe85Sahl 
37*9512fe85Sahl #pragma D option bufpolicy=ring
38*9512fe85Sahl #pragma D option bufsize=4k
39*9512fe85Sahl 
40*9512fe85Sahl profile:::profile-1009hz
41*9512fe85Sahl {
42*9512fe85Sahl 	printf("%x %x\n", (int)0xaaaa, (int)0xbbbb);
43*9512fe85Sahl }
44*9512fe85Sahl 
45*9512fe85Sahl profile:::profile-1237hz
46*9512fe85Sahl {
47*9512fe85Sahl 	printf("%x %x %x %x %x %x\n",
48*9512fe85Sahl 	    (int)0xcccc,
49*9512fe85Sahl 	    (int)0xdddd,
50*9512fe85Sahl 	    (int)0xeeee,
51*9512fe85Sahl 	    (int)0xffff,
52*9512fe85Sahl 	    (int)0xabab,
53*9512fe85Sahl 	    (int)0xacac);
54*9512fe85Sahl 	printf("%x %x\n",
55*9512fe85Sahl 	    (uint64_t)0xaabbaabbaabbaabb,
56*9512fe85Sahl 	    (int)0xadad);
57*9512fe85Sahl }
58*9512fe85Sahl 
59*9512fe85Sahl profile:::profile-1789hz
60*9512fe85Sahl {
61*9512fe85Sahl 	printf("%x %x %x %x %x\n",
62*9512fe85Sahl 	    (int)0xaeae,
63*9512fe85Sahl 	    (int)0xafaf,
64*9512fe85Sahl 	    (unsigned char)0xaa,
65*9512fe85Sahl 	    (int)0xbcbc,
66*9512fe85Sahl 	    (int)0xbdbd);
67*9512fe85Sahl }
68*9512fe85Sahl 
69*9512fe85Sahl profile-1543hz
70*9512fe85Sahl {}
71*9512fe85Sahl 
72*9512fe85Sahl profile-1361hz
73*9512fe85Sahl {}
74*9512fe85Sahl 
75*9512fe85Sahl tick-1sec
76*9512fe85Sahl /i++ >= 10/
77*9512fe85Sahl {
78*9512fe85Sahl 	exit(0);
79*9512fe85Sahl }
80