Commit | Line | Data |
---|---|---|
920dae64 AT |
1 | /* |
2 | * ========== Copyright Header Begin ========================================== | |
3 | * | |
4 | * OpenSPARC T2 Processor File: device.h | |
5 | * Copyright (c) 2006 Sun Microsystems, Inc. All Rights Reserved. | |
6 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES. | |
7 | * | |
8 | * The above named program is free software; you can redistribute it and/or | |
9 | * modify it under the terms of the GNU General Public | |
10 | * License version 2 as published by the Free Software Foundation. | |
11 | * | |
12 | * The above named program is distributed in the hope that it will be | |
13 | * useful, but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
15 | * General Public License for more details. | |
16 | * | |
17 | * You should have received a copy of the GNU General Public | |
18 | * License along with this work; if not, write to the Free Software | |
19 | * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. | |
20 | * | |
21 | * ========== Copyright Header End ============================================ | |
22 | */ | |
23 | /* | |
24 | * Copyright 2005 Sun Microsystems, Inc. All rights reserved. | |
25 | * Use is subject to license terms. | |
26 | */ | |
27 | ||
28 | #ifndef _DEVICE_H_ | |
29 | #define _DEVICE_H_ | |
30 | ||
31 | #pragma ident "@(#)device.h 1.3 05/10/05 SMI" | |
32 | ||
33 | /* | |
34 | * This file contains function prototypes and data structures | |
35 | * for device generic support | |
36 | */ | |
37 | ||
38 | #ifdef __cplusplus | |
39 | extern "C" { | |
40 | #endif | |
41 | ||
42 | #ifndef NDEBUG /* { */ | |
43 | #define DBG_DEV 0x80000000LL | |
44 | #define DBGDEV(s) do { if (debug_bits & DBG_DEV) { s } } while (0) /* debug device */ | |
45 | #else /* } { */ | |
46 | #define DBGDEV(_s) do { } while (0) | |
47 | #endif /* } */ | |
48 | ||
49 | /* | |
50 | * For devices that have no cacheable address space areas | |
51 | * use this function instead of declaring it for every device. | |
52 | */ | |
53 | tpaddr_t generic_device_non_cacheable( | |
54 | config_addr_t * config_addrp, | |
55 | dev_access_t type, | |
56 | tpaddr_t offset, | |
57 | uint8_t ** blockp); | |
58 | ||
59 | #ifdef __cplusplus | |
60 | } | |
61 | #endif | |
62 | ||
63 | #endif /* #ifndef _DEVICE_H_ */ |