apic_set_spiv
apic_set_spiv(apic, val & mask);
apic_set_spiv(apic, 0xff);
apic_set_spiv(apic, *((u32 *)(s->regs + APIC_SPIV)));