vmm_desc_t
vmm_desc_t cs;
vmm_desc_t fs, gs;
(vmm_desc_t *)&sregs.sr_gdtr) != 0 ||
(vmm_desc_t *)&sregs.sr_idtr) != 0 ||
(vmm_desc_t *)&sregs.sr_ldtr) != 0 ||
(vmm_desc_t *)&sregs.sr_tr) != 0 ||
(vmm_desc_t *)&sregs.sr_cs) != 0 ||
(vmm_desc_t *)&sregs.sr_ds) != 0 ||
(vmm_desc_t *)&sregs.sr_es) != 0 ||
(vmm_desc_t *)&sregs.sr_fs) != 0 ||
(vmm_desc_t *)&sregs.sr_gs) != 0 ||
(vmm_desc_t *)&sregs.sr_ss) != 0)
vmm_desc_t gdtr, ldtr, idtr, tr, cs, ds, es, fs, gs, ss;
vmm_get_desc(vmm_t *vmm, int vcpuid, int desc, vmm_desc_t *vd)
vmm_set_desc(vmm_t *vmm, int vcpuid, int desc, vmm_desc_t *vd)
vmm_desc_t cs;
vmm_desc_t desc;
int vmm_get_desc(vmm_t *, int, int, vmm_desc_t *);
int vmm_set_desc(vmm_t *, int, int, vmm_desc_t *);