Lines Matching refs:header
65 spinlock_acquire(&vcpu->header.lock); in hypercall_vcpu_configure()
66 object_state_t state = atomic_load_relaxed(&vcpu->header.state); in hypercall_vcpu_configure()
72 spinlock_release(&vcpu->header.lock); in hypercall_vcpu_configure()
198 spinlock_acquire(&vcpu->header.lock);
199 object_state_t state = atomic_load_relaxed(&vcpu->header.state);
211 spinlock_release(&vcpu->header.lock);
342 spinlock_acquire(&vcpu->header.lock);
343 object_state_t state = atomic_load_relaxed(&vcpu->header.state);
351 spinlock_release(&vcpu->header.lock);
379 spinlock_acquire(&vcpu->header.lock);
380 object_state_t state = atomic_load_relaxed(&vcpu->header.state);
388 spinlock_release(&vcpu->header.lock);