HomeFreeBSD

vmm: Use struct vcpu in the rendezvous code.