1 /* 2 * CDDL HEADER START 3 * 4 * The contents of this file are subject to the terms of the 5 * Common Development and Distribution License (the "License"). 6 * You may not use this file except in compliance with the License. 7 * 8 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 9 * or http://www.opensolaris.org/os/licensing. 10 * See the License for the specific language governing permissions 11 * and limitations under the License. 12 * 13 * When distributing Covered Code, include this CDDL HEADER in each 14 * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 15 * If applicable, add the following below this CDDL HEADER, with the 16 * fields enclosed by brackets "[]" replaced with your own identifying 17 * information: Portions Copyright [yyyy] [name of copyright owner] 18 * 19 * CDDL HEADER END 20 */ 21 22 /* 23 * Copyright 2007 Sun Microsystems, Inc. All rights reserved. 24 * Use is subject to license terms. 25 */ 26 27 #ifndef _DBOOT_XBOOT_H 28 #define _DBOOT_XBOOT_H 29 30 #pragma ident "%Z%%M% %I% %E% SMI" 31 32 #include <sys/mach_mmu.h> 33 34 #ifdef __cplusplus 35 extern "C" { 36 #endif 37 38 #include <sys/note.h> 39 40 /* 41 * Stack used by xboot 42 */ 43 #define STACK_SIZE 0x8000 44 45 #ifndef _ASM 46 47 extern paddr_t ktext_phys; 48 extern struct xboot_info *bi; 49 50 /* 51 * Debugging macros 52 */ 53 extern uint_t prom_debug; 54 55 #define DBG_MSG(s) do { if (prom_debug) \ 56 dboot_printf(s); \ 57 _NOTE(CONSTANTCONDITION) \ 58 } while (0) 59 60 #define DBG(x) do { if (prom_debug) { \ 61 dboot_printf("%s is 0x%" PRIx64 "\n", #x, (uint64_t)(x)); \ 62 _NOTE(CONSTANTCONDITION) \ 63 } } while (0) 64 65 extern void dboot_halt(void); 66 extern void *mem_alloc(uint32_t size); 67 68 #define RNDUP(x, y) ((x) + ((y) - 1ul) & ~((y) - 1ul)) 69 70 /* 71 * this is gross too, but archsystm.h is under a #ifdef _KERNEL 72 */ 73 extern uint8_t inb(int port); 74 extern void outb(int port, uint8_t value); 75 76 #endif /* _ASM */ 77 78 79 #ifdef __cplusplus 80 } 81 #endif 82 83 #endif /* _DBOOT_XBOOT_H */ 84