vmm/io/vlapic.c

184 vlapic_dump_lvt(uint32_t offset, uint32_t *lvt)
186 	printf("Offset %x: lvt %08x (V:%02x DS:%x M:%x)\n", offset,
187 	    *lvt, *lvt & APIC_LVTT_VECTOR, *lvt & APIC_LVTT_DS,
188 	    *lvt & APIC_LVTT_M);
356 	    "invalid lvt index %d for offset %#x", index, offset));
434 vlapic_fire_lvt(struct vlapic *vlapic, uint32_t lvt)
438 	if (lvt & APIC_LVT_M)
441 	vec = lvt & APIC_LVT_VECTOR;
442 	mode = lvt & APIC_LVT_DM;
590 vlapic_get_lvt_field(uint32_t lvt, uint32_t mask)
593 	return (lvt & mask);
599 	uint32_t lvt;
601 	lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_TIMER_LVT);
603 	return (vlapic_get_lvt_field(lvt, APIC_LVTT_TM_PERIODIC));
611 	uint32_t lvt;
619 	lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_ERROR_LVT);
620 	if (vlapic_fire_lvt(vlapic, lvt | APIC_LVT_DM_FIXED)) {
631 	uint32_t lvt;
636 	lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_TIMER_LVT);
637 	if (vlapic_fire_lvt(vlapic, lvt | APIC_LVT_DM_FIXED)) {
649 	uint32_t lvt;
651 	lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_CMCI_LVT);
652 	if (vlapic_fire_lvt(vlapic, lvt)) {
663 	uint32_t lvt;
686 		lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_LINT0_LVT);
689 		lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_LINT1_LVT);
692 		lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_TIMER_LVT);
693 		lvt |= APIC_LVT_DM_FIXED;
696 		lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_ERROR_LVT);
697 		lvt |= APIC_LVT_DM_FIXED;
700 		lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_PERF_LVT);
703 		lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_THERM_LVT);
706 		lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_CMCI_LVT);
711 	if (vlapic_fire_lvt(vlapic, lvt)) {
1281 			KASSERT(*data == *reg, ("inconsistent lvt value at "