vlapic_get_cr8
v_tpr = vlapic_get_cr8(vlapic);
*retval = vlapic_get_cr8(vm_lapic(vcpu->vcpu));
cr8 = vlapic_get_cr8(vlapic);
vmcs_write(VMCS_TPR_THRESHOLD, vlapic_get_cr8(vlapic));
*retval = vlapic_get_cr8(vm_lapic(vcpu->vcpu));
uint64_t vlapic_get_cr8(struct vlapic *vlapic);