Searched refs:gd_dpl (Results 1 – 4 of 4) sorted by relevance
108 unsigned gd_dpl:2; /* segment descriptor priority level */ member131 uint64_t gd_dpl:2; /* segment descriptor priority level */ member
976 KASSERT(gd->gd_dpl == SEL_KPL, ("gate descriptor for vector %d " in vmx_trigger_hostintr()977 "has invalid dpl %d", vector, gd->gd_dpl)); in vmx_trigger_hostintr()
817 ip->gd_dpl = dpl; in setidt()
1531 ip->gd_dpl = dpl; in setidt_nodisp()