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.
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.
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]
23 * Copyright 2009 Sun Microsystems, Inc. All rights reserved.
24 * Use is subject to license terms.
28 / Inline functions specific to the i86pc kernel running on bare metal.
32 / return value of cr3 register
39 / reload cr3 register with its current value
47 * Put a new value into cr3 (page table base register
48 * void setcr3(void *value)
70 / disable interrupts and return value describing if interrupts were enabled
72 .inline clear_int_flag,0
85 / return the flags register
93 / restore interrupt enable flag to value returned from 'clear_int_flag' above
95 .inline restore_int_flag,4
102 .inline intr_restore,4
149 * Invalidate TLB translation to 1 page.
150 * void mmu_tlbflush_entry(void *addr)
152 .inline mmu_tlbflush_entry,4
158 * Call the halt instruction. This will put the CPU to sleep until
159 * it is again awoken via an interrupt.
160 * This function should be called with interrupts already disabled
162 * Note that "sti" will only enable interrupts at the end of the
163 * subsequent instruction...in this case: "hlt".
171 * execute the bsrw instruction
172 * int bsrw_insn(uint16_t)