41 typedef	struct wc_cpu {  struct
42 	uint64_t wc_retaddr;
43 	uint64_t wc_virtaddr;
44 	uint64_t wc_cr0;
45 	uint64_t wc_cr3;
46 	uint64_t wc_cr4;
47 	uint64_t wc_cr8;
48 	uint64_t wc_fs;
49 	uint64_t wc_fsbase;
50 	uint64_t wc_gs;
51 	uint64_t wc_gsbase;
52 	uint64_t wc_kgsbase;
53 	uint64_t wc_r8;
54 	uint64_t wc_r9;
55 	uint64_t wc_r10;
56 	uint64_t wc_r11;
57 	uint64_t wc_r12;
58 	uint64_t wc_r13;
59 	uint64_t wc_r14;
60 	uint64_t wc_r15;
61 	uint64_t wc_rax;
62 	uint64_t wc_rbp;
63 	uint64_t wc_rbx;
64 	uint64_t wc_rcx;
65 	uint64_t wc_rdi;
66 	uint64_t wc_rdx;
67 	uint64_t wc_rsi;
68 	uint64_t wc_rsp;
77 uint32_t wc_gdt_pad1;
79 	ushort_t wc_gdt_pad2;
80 	ushort_t wc_gdt_limit;
81 	user_desc_t *wc_gdt_base;
90 uint32_t wc_idt_pad1;
92 	ushort_t wc_idt_pad2;
116 	processorid_t	wc_cpu_id;	/* which CPU are we running on */  argument
126 	wc_cpu_t	wc_cpu;  argument