-#else
-struct x86_kernel_state {
- unsigned long k_rbx; /* kernel context */
- unsigned long k_rsp;
- unsigned long k_rbp;
- unsigned long k_r12;
- unsigned long k_r13;
- unsigned long k_r14;
- unsigned long k_r15;
- unsigned long k_rip;
- unsigned long dummy;
-};
-#endif
-
-typedef struct pcb {
- void *sf;
- x86_saved_state_t *iss;
- void *ifps;
-#ifdef MACH_BSD
- uint64_t cthread_self; /* for use of cthread package */
- struct real_descriptor cthread_desc;
- unsigned long uldt_selector; /* user ldt selector to set */
- struct real_descriptor uldt_desc; /* the actual user setable ldt data */
-#endif
- decl_simple_lock_data(,lock);
- uint64_t iss_pte0;
- uint64_t iss_pte1;
- void *ids;
- uint32_t arg_store_valid;
-} *pcb_t;