|
@@ -514,6 +514,7 @@ int main(void)
|
|
|
OFFSET(VCPU_PENDING_EXC, kvm_vcpu, arch.pending_exceptions);
|
|
|
OFFSET(VCPU_CEDED, kvm_vcpu, arch.ceded);
|
|
|
OFFSET(VCPU_PRODDED, kvm_vcpu, arch.prodded);
|
|
|
+ OFFSET(VCPU_IRQ_PENDING, kvm_vcpu, arch.irq_pending);
|
|
|
OFFSET(VCPU_DBELL_REQ, kvm_vcpu, arch.doorbell_request);
|
|
|
OFFSET(VCPU_MMCR, kvm_vcpu, arch.mmcr);
|
|
|
OFFSET(VCPU_PMC, kvm_vcpu, arch.pmc);
|