vlapic_vtx
struct vlapic_vtx *vlapic_vtx;
vlapic_vtx = (struct vlapic_vtx *)vlapic;
pir_desc = vlapic_vtx->pir_desc;
vlapic_vtx->pending_prio = 0;
const u_int old_prio = vlapic_vtx->pending_prio;
atomic_set_int(&vlapic_vtx->pending_prio, prio_bit);
struct vlapic_vtx *vlapic_vtx;
vlapic_vtx = (struct vlapic_vtx *)vlapic;
pir_desc = vlapic_vtx->pir_desc;
const u_int old = vlapic_vtx->pending_prio;
vlapic_vtx->pending_prio = prio_bit;
struct vlapic_vtx *vlapic_vtx;
vlapic_vtx = (struct vlapic_vtx *)vlapic;
vmcs = vlapic_vtx->vcpu->vmcs;
struct vlapic_vtx *vlapic_vtx;
vlapic_vtx = (struct vlapic_vtx *)vlapic;
vcpu = vlapic_vtx->vcpu;
struct vlapic_vtx *vlapic_vtx;
vlapic_vtx = (struct vlapic_vtx *)vlapic;
vcpu = vlapic_vtx->vcpu;
struct vlapic_vtx *vlapic_vtx;
vlapic_vtx = (struct vlapic_vtx *)vlapic;
pir_desc = vlapic_vtx->pir_desc;
struct vlapic_vtx *vlapic_vtx;
vlapic = malloc(sizeof(struct vlapic_vtx), M_VLAPIC, M_WAITOK | M_ZERO);
vlapic_vtx = (struct vlapic_vtx *)vlapic;
vlapic_vtx->pir_desc = vcpu->pir_desc;
vlapic_vtx->vcpu = vcpu;