Print this page
XXX nobios


  19  * CDDL HEADER END
  20  */
  21 
  22 /*
  23  * Copyright (c) 1993, 2010, Oracle and/or its affiliates. All rights reserved.
  24  */
  25 /*
  26  * Copyright (c) 2010, Intel Corporation.
  27  * All rights reserved.
  28  */
  29 
  30 #ifndef _SYS_MACHSYSTM_H
  31 #define _SYS_MACHSYSTM_H
  32 
  33 /*
  34  * Numerous platform-dependent interfaces that don't seem to belong
  35  * in any other header file.
  36  *
  37  * This file should not be included by code that purports to be
  38  * platform-independent.
  39  *
  40  */
  41 
  42 #include <sys/machparam.h>
  43 #include <sys/varargs.h>
  44 #include <sys/thread.h>
  45 #include <sys/cpuvar.h>
  46 #include <sys/privregs.h>
  47 #include <sys/systm.h>
  48 #include <sys/traptrace.h>
  49 #include <vm/page.h>
  50 
  51 #ifdef __cplusplus
  52 extern "C" {
  53 #endif
  54 
  55 #ifdef _KERNEL
  56 
  57 typedef enum mach_cpu_add_arg_type {
  58         MACH_CPU_ARG_LOCAL_APIC,
  59         MACH_CPU_ARG_LOCAL_X2APIC,


 215  */
 216 typedef struct {
 217         uint64_t        u_base;
 218         uint64_t        u_length;
 219         uint32_t        u_domain;
 220         uint32_t        u_device_id;
 221         uint32_t        u_sli_cnt;
 222         uchar_t         *u_sli_ptr;
 223 } update_membounds_t;
 224 
 225 /* Maximum physical page number (PFN) for memory DR operations. */
 226 extern uint64_t plat_dr_physmax;
 227 
 228 #ifdef __xpv
 229 #include <sys/xen_mmu.h>
 230 extern page_t *page_get_high_mfn(mfn_t);
 231 #endif
 232 
 233 extern hrtime_t tsc_gethrtime_tick_delta(void);
 234 


 235 #endif /* _KERNEL */
 236 
 237 #ifdef __cplusplus
 238 }
 239 #endif
 240 
 241 #endif  /* _SYS_MACHSYSTM_H */


  19  * CDDL HEADER END
  20  */
  21 
  22 /*
  23  * Copyright (c) 1993, 2010, Oracle and/or its affiliates. All rights reserved.
  24  */
  25 /*
  26  * Copyright (c) 2010, Intel Corporation.
  27  * All rights reserved.
  28  */
  29 
  30 #ifndef _SYS_MACHSYSTM_H
  31 #define _SYS_MACHSYSTM_H
  32 
  33 /*
  34  * Numerous platform-dependent interfaces that don't seem to belong
  35  * in any other header file.
  36  *
  37  * This file should not be included by code that purports to be
  38  * platform-independent.

  39  */
  40 
  41 #include <sys/machparam.h>
  42 #include <sys/varargs.h>
  43 #include <sys/thread.h>
  44 #include <sys/cpuvar.h>
  45 #include <sys/privregs.h>
  46 #include <sys/systm.h>
  47 #include <sys/traptrace.h>
  48 #include <vm/page.h>
  49 
  50 #ifdef __cplusplus
  51 extern "C" {
  52 #endif
  53 
  54 #ifdef _KERNEL
  55 
  56 typedef enum mach_cpu_add_arg_type {
  57         MACH_CPU_ARG_LOCAL_APIC,
  58         MACH_CPU_ARG_LOCAL_X2APIC,


 214  */
 215 typedef struct {
 216         uint64_t        u_base;
 217         uint64_t        u_length;
 218         uint32_t        u_domain;
 219         uint32_t        u_device_id;
 220         uint32_t        u_sli_cnt;
 221         uchar_t         *u_sli_ptr;
 222 } update_membounds_t;
 223 
 224 /* Maximum physical page number (PFN) for memory DR operations. */
 225 extern uint64_t plat_dr_physmax;
 226 
 227 #ifdef __xpv
 228 #include <sys/xen_mmu.h>
 229 extern page_t *page_get_high_mfn(mfn_t);
 230 #endif
 231 
 232 extern hrtime_t tsc_gethrtime_tick_delta(void);
 233 
 234 extern boolean_t bios_calls_available;
 235 
 236 #endif /* _KERNEL */
 237 
 238 #ifdef __cplusplus
 239 }
 240 #endif
 241 
 242 #endif  /* _SYS_MACHSYSTM_H */