| 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_ */ |