+ DECLARE("cppvPsnkb", cppvPsnkb);
+ DECLARE("cppvPsrcb", cppvPsrcb);
+ DECLARE("cppvFsnkb", cppvFsnkb);
+ DECLARE("cppvFsrcb", cppvFsrcb);
+ DECLARE("cppvNoModSnkb", cppvNoModSnkb);
+ DECLARE("cppvNoRefSrcb", cppvNoRefSrcb);
+ DECLARE("cppvKmapb", cppvKmapb);
+
+ DECLARE("vmxSalt", offsetof(struct pmap_vmm_ext *, vmxSalt));
+ DECLARE("vmxHostPmapPhys", offsetof(struct pmap_vmm_ext *, vmxHostPmapPhys));
+ DECLARE("vmxHostPmap", offsetof(struct pmap_vmm_ext *, vmxHostPmap));
+ DECLARE("vmxHashPgIdx", offsetof(struct pmap_vmm_ext *, vmxHashPgIdx));
+ DECLARE("vmxHashPgList", offsetof(struct pmap_vmm_ext *, vmxHashPgList));
+ DECLARE("vmxStats", offsetof(struct pmap_vmm_ext *, vmxStats));
+ DECLARE("vmxSize", sizeof(struct pmap_vmm_ext));
+ DECLARE("VMX_HPIDX_OFFSET", VMX_HPIDX_OFFSET);
+ DECLARE("VMX_HPLIST_OFFSET", VMX_HPLIST_OFFSET);
+ DECLARE("VMX_ACTMAP_OFFSET", VMX_ACTMAP_OFFSET);
+ DECLARE("vxsGpf", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGpf));
+ DECLARE("vxsGpfMiss", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGpfMiss));
+ DECLARE("vxsGrm", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrm));
+ DECLARE("vxsGrmMiss", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrmMiss));
+ DECLARE("vxsGrmActive", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrmActive));
+ DECLARE("vxsGra", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGra));
+ DECLARE("vxsGraHits", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGraHits));
+ DECLARE("vxsGraActive", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGraActive));
+ DECLARE("vxsGrl", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrl));
+ DECLARE("vxsGrlActive", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrlActive));
+ DECLARE("vxsGrs", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrs));
+ DECLARE("vxsGrsHitAct", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrsHitAct));
+ DECLARE("vxsGrsHitSusp", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrsHitSusp));
+ DECLARE("vxsGrsMissGV", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrsMissGV));
+ DECLARE("vxsGrsHitPE", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrsHitPE));
+ DECLARE("vxsGrsMissPE", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGrsMissPE));
+ DECLARE("vxsGad", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGad));
+ DECLARE("vxsGadHit", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGadHit));
+ DECLARE("vxsGadFree", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGadFree));
+ DECLARE("vxsGadDormant", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGadDormant));
+ DECLARE("vxsGadSteal", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGadSteal));
+ DECLARE("vxsGsu", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGsu));
+ DECLARE("vxsGsuHit", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGsuHit));
+ DECLARE("vxsGsuMiss", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGsuMiss));
+ DECLARE("vxsGtd", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGtd));
+ DECLARE("vxsGtdHit", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGtdHit));
+ DECLARE("vxsGtdMiss", offsetof(struct pmap_vmm_ext *, vmxStats.vxsGtdMiss));
+
+ /* values from kern/timer.h */
+ DECLARE("TIMER_LOW", offsetof(struct timer *, low_bits));
+ DECLARE("TIMER_HIGH", offsetof(struct timer *, high_bits));
+ DECLARE("TIMER_HIGHCHK", offsetof(struct timer *, high_bits_check));
+ DECLARE("TIMER_TSTAMP", offsetof(struct timer *, tstamp));
+
+ DECLARE("CURRENT_TIMER", offsetof(struct processor *, processor_data.current_timer));
+ DECLARE("SYSTEM_TIMER", offsetof(struct thread *, system_timer));
+ DECLARE("USER_TIMER", offsetof(struct thread *, user_timer));