Searched refs:xkb_vcpus (Results 1 – 1 of 1) sorted by relevance
190 struct vcpu_guest_context **xkb_vcpus; member551 uint64_t cr3 = xkb->xkb_vcpus[0]->ctrlreg[3]; in xkb_cr3_to_pfn()1101 xkb->xkb_vcpus = mdb_alloc(sz, UM_SLEEP); in xkb_open_core()1105 xkb->xkb_vcpus[i] = &vcp[i]; in xkb_open_core()1261 xkb->xkb_vcpus = mdb_alloc(sz, UM_SLEEP); in xkb_open_elf()1265 xkb->xkb_vcpus[i] = dp; in xkb_open_elf()1461 if (xkb->xkb_vcpus != NULL) { in xkb_close()1464 mdb_free(xkb->xkb_vcpus, sz); in xkb_close()1517 vcpu = xkb->xkb_vcpus[cpu]; in xkb_getmregs()