Searched refs:xkb_vcpu_data (Results 1 – 1 of 1) sorted by relevance
188 void *xkb_vcpu_data; member1094 xkb->xkb_vcpu_data = mdb_alloc(sz, UM_SLEEP); in xkb_open_core()1096 if (pread64(xkb->xkb_fd, xkb->xkb_vcpu_data, sz, in xkb_open_core()1103 vcp = xkb->xkb_vcpu_data; in xkb_open_core()1249 xkb->xkb_vcpu_data = mdb_gelf_sect_load(xe->xe_gelf, sect); in xkb_open_elf()1250 if (xkb->xkb_vcpu_data == NULL) in xkb_open_elf()1263 dp = ((char *)xkb->xkb_vcpu_data + in xkb_open_elf()1457 if (xkb->xkb_vcpu_data != NULL) in xkb_close()1458 mdb_free(xkb->xkb_vcpu_data, xkb->xkb_vcpu_data_sz); in xkb_close()