vlapic_set_cr8
vlapic_set_cr8(vlapic, ctrl->v_tpr);
vlapic_set_cr8(vlapic, cr8);
void vlapic_set_cr8(struct vlapic *vlapic, uint64_t val);