/*
* MMU page tables
*/
-#ifndef JG_defined_pml4_entry_t
-#define JG_defined_pml4_entry_t
typedef __uint64_t pml4_entry_t;
typedef __uint64_t pdp_entry_t;
typedef __uint64_t pd_entry_t;
typedef __uint64_t pt_entry_t;
-#endif
typedef __uint64_t cpumask_t; /* mask representing a set of cpus */
#if defined(_KERNEL) || defined(_KERNEL_STRUCTURES)
#define PTESIZE sizeof(pt_entry_t) /* for assembly files */
#endif /* !_CPU_TYPES_H_ */
-
/*
* Type of the first (asm) part of an interrupt handler.
*/
-#ifndef JG_defined_inthand_t
-#define JG_defined_inthand_t
typedef void inthand_t(u_int cs, u_int ef, u_int esp, u_int ss);
-#endif
#define IDTVEC(name) __CONCAT(X,name)