ipi_state
struct ipi_state ipi_state;
spin_unlock(&vcpu->arch.ipi_state.lock);
spin_lock(&vcpu->arch.ipi_state.lock);
status = vcpu->arch.ipi_state.status;
vcpu->arch.ipi_state.status |= data;
spin_unlock(&vcpu->arch.ipi_state.lock);
spin_lock(&vcpu->arch.ipi_state.lock);
res = vcpu->arch.ipi_state.status;
spin_unlock(&vcpu->arch.ipi_state.lock);
spin_lock(&vcpu->arch.ipi_state.lock);
res = vcpu->arch.ipi_state.en;
spin_unlock(&vcpu->arch.ipi_state.lock);
spin_lock(&vcpu->arch.ipi_state.lock);
vcpu->arch.ipi_state.en = data;
spin_unlock(&vcpu->arch.ipi_state.lock);
p = &vcpu->arch.ipi_state.status;
p = &vcpu->arch.ipi_state.en;
p = &vcpu->arch.ipi_state.set;
p = &vcpu->arch.ipi_state.clear;
p = &vcpu->arch.ipi_state.buf[0];
p = &vcpu->arch.ipi_state.buf[1];
p = &vcpu->arch.ipi_state.buf[2];
p = &vcpu->arch.ipi_state.buf[3];
spin_lock(&vcpu->arch.ipi_state.lock);
vcpu->arch.ipi_state.status &= ~data;
status = vcpu->arch.ipi_state.status;
spin_unlock(&vcpu->arch.ipi_state.lock);
spin_lock(&vcpu->arch.ipi_state.lock);
data = *(ulong *)((void *)vcpu->arch.ipi_state.buf + (offset - 0x20));
spin_unlock(&vcpu->arch.ipi_state.lock);
spin_lock(&vcpu->arch.ipi_state.lock);
pbuf = (void *)vcpu->arch.ipi_state.buf + (offset - 0x20);
spin_lock_init(&vcpu->arch.ipi_state.lock);
struct ipi_state ipistate[16];
struct ipi_state *s = &(ipi->ipistate[id]);
struct ipi_state *s = &(ipi->ipistate[id]);