apic_set_tpr
apic_set_tpr(apic, val & 0xff);
apic_set_tpr(vcpu->arch.apic, (cr8 & 0x0f) << 4);
apic_set_tpr(vcpu->arch.apic, data & 0xff);