2 * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
4 * @APPLE_LICENSE_HEADER_START@
6 * The contents of this file constitute Original Code as defined in and
7 * are subject to the Apple Public Source License Version 1.1 (the
8 * "License"). You may not use this file except in compliance with the
9 * License. Please obtain a copy of the License at
10 * http://www.apple.com/publicsource and read it before using this file.
12 * This Original Code and all software distributed under the License are
13 * distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, EITHER
14 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
15 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
16 * FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT. Please see the
17 * License for the specific language governing rights and limitations
20 * @APPLE_LICENSE_HEADER_END@
26 #ifndef _I386_MACHINE_ROUTINES_H_
27 #define _I386_MACHINE_ROUTINES_H_
29 #include <mach/mach_types.h>
30 #include <mach/boolean.h>
31 #include <kern/kern_types.h>
32 #include <pexpert/pexpert.h>
35 #if defined(PEXPERT_KERNEL_PRIVATE) || defined(MACH_KERNEL_PRIVATE)
36 /* IO memory map services */
38 /* Map memory map IO space */
39 vm_offset_t
ml_io_map(
40 vm_offset_t phys_addr
,
43 /* boot memory allocation */
44 vm_offset_t
ml_static_malloc(
57 /* virtual to physical on wired pages */
58 vm_offset_t
ml_vtophys(
61 /* Interrupt handling */
63 /* Get Interrupts Enabled */
64 boolean_t
ml_get_interrupts_enabled(void);
66 /* Set Interrupts Enabled */
67 boolean_t
ml_set_interrupts_enabled(boolean_t enable
);
69 /* Check if running at interrupt context */
70 boolean_t
ml_at_interrupt_context(void);
72 /* Generate a fake interrupt */
73 void ml_cause_interrupt(void);
75 /* Initialize Interrupts */
76 void ml_install_interrupt_handler(
80 IOInterruptHandler handler
,
83 #ifdef MACH_KERNEL_PRIVATE
84 /* check pending timers */
85 #define machine_clock_assist()
87 void machine_idle(void);
89 void machine_signal_idle(
90 processor_t processor
);
93 /* Type for the IPI Hander */
94 typedef void (*ipi_handler_t
)(void);
96 /* Register a processor */
97 kern_return_t
ml_processor_register(
99 vm_offset_t start_paddr
,
100 processor_t
*processor
,
101 ipi_handler_t
*ipi_handler
,
104 void ml_get_timebase(unsigned long long *timestamp
);
106 #endif /* _I386_MACHINE_ROUTINES_H_ */