vlapic_get_cr8
v_tpr = vlapic_get_cr8(vlapic);
cr8 = vlapic_get_cr8(vlapic);
vmcs_write(VMCS_TPR_THRESHOLD, vlapic_get_cr8(vlapic));
uint64_t vlapic_get_cr8(const struct vlapic *vlapic);