osfmk/i386/machine_cpu.h

   1 /*
   2  * Copyright (c) 2000-2005 Apple Computer, Inc. All rights reserved.
   3  *
   4  * @APPLE_LICENSE_OSREFERENCE_HEADER_START@
   5  *
   6  * This file contains Original Code and/or Modifications of Original Code
   7  * as defined in and that are subject to the Apple Public Source License
   8  * Version 2.0 (the 'License'). You may not use this file except in
   9  * compliance with the License.  The rights granted to you under the
  10  * License may not be used to create, or enable the creation or
  11  * redistribution of, unlawful or unlicensed copies of an Apple operating
  12  * system, or to circumvent, violate, or enable the circumvention or
  13  * violation of, any terms of an Apple operating system software license
  14  * agreement.
  15  *
  16  * Please obtain a copy of the License at
  17  * http://www.opensource.apple.com/apsl/ and read it before using this
  18  * file.
  19  *
  20  * The Original Code and all software distributed under the License are
  21  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  22  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  23  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
  24  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
  25  * Please see the License for the specific language governing rights and
  26  * limitations under the License.
  27  *
  28  * @APPLE_LICENSE_OSREFERENCE_HEADER_END@
  29  */
  30 #ifndef _I386_MACHINE_CPU_H_
  31 #define _I386_MACHINE_CPU_H_
  32
  33 #include <mach/mach_types.h>
  34 #include <mach/boolean.h>
  35 #include <kern/kern_types.h>
  36 #include <pexpert/pexpert.h>
  37 #include <sys/cdefs.h>
  38
  39 __BEGIN_DECLS
  40 void    cpu_machine_init(
  41         void);
  42
  43 void    cpu_signal_handler(
  44         x86_saved_state_t *regs);
  45
  46 void    handle_pending_TLB_flushes(
  47         void);
  48
  49
  50 kern_return_t cpu_register(
  51         int *slot_nump);
  52 __END_DECLS
  53
  54 static inline void cpu_halt(void)
  55 {
  56         asm volatile( "wbinvd; cli; hlt" );
  57 }
  58
  59 static inline void cpu_pause(void)
  60 {
  61         asm volatile( "rep; nop" );
  62 }
  63
  64 #endif /* _I386_MACHINE_CPU_H_ */