kernel/apic/apic.c

1135 			apic_write(APIC_ESR, 0);
1136 		apic_read(APIC_ESR);
1403 		apic_write(APIC_ESR, 0);
1404 	oldvalue = apic_read(APIC_ESR);
1414 		apic_write(APIC_ESR, 0);
1415 	value = apic_read(APIC_ESR);
1517 		apic_write(APIC_ESR, 0);
1518 		apic_write(APIC_ESR, 0);
1519 		apic_write(APIC_ESR, 0);
1520 		apic_write(APIC_ESR, 0);
2171 		apic_write(APIC_ESR, 0);
2172 	v = apic_read(APIC_ESR);
2486 	apic_write(APIC_ESR, 0);
2487 	apic_read(APIC_ESR);
2489 	apic_write(APIC_ESR, 0);
2490 	apic_read(APIC_ESR);