dmake: do not set MAKEFLAGS=k
[unleashed/tickless.git] / arch / x86 / kernel / platform / i86pc / include / sys / psm_defs.h
blob0ccb6f575be657eaddfcc307aa0787b52eb52eac
1 /*
2 * CDDL HEADER START
4 * The contents of this file are subject to the terms of the
5 * Common Development and Distribution License, Version 1.0 only
6 * (the "License"). You may not use this file except in compliance
7 * with the License.
9 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
10 * or http://www.opensolaris.org/os/licensing.
11 * See the License for the specific language governing permissions
12 * and limitations under the License.
14 * When distributing Covered Code, include this CDDL HEADER in each
15 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
16 * If applicable, add the following below this CDDL HEADER, with the
17 * fields enclosed by brackets "[]" replaced with your own identifying
18 * information: Portions Copyright [yyyy] [name of copyright owner]
20 * CDDL HEADER END
23 * Copyright 2004 Sun Microsystems, Inc. All rights reserved.
24 * Use is subject to license terms.
27 #ifndef _SYS_PSM_DEFS_H
28 #define _SYS_PSM_DEFS_H
30 #pragma ident "%Z%%M% %I% %E% SMI"
33 * Platform Specific Module Definitions
36 #include <sys/pic.h>
37 #include <sys/xc_levels.h>
39 #ifdef __cplusplus
40 extern "C" {
41 #endif
43 #ifdef __STDC__
44 typedef void *opaque_t;
45 #else /* __STDC__ */
46 typedef char *opaque_t;
47 #endif /* __STDC__ */
50 * External Kernel Interface
53 extern void picsetup(void); /* isp initialization */
54 extern u_longlong_t mul32(uint_t a, uint_t b);
55 /* u_long_long = uint_t x uint_t */
58 * External Kernel Reference Data
61 #ifdef __cplusplus
63 #endif
65 #endif /* _SYS_PSM_DEFS_H */