Searched refs:xkb_vcpu_data_sz (Results 1 – 1 of 1) sorted by relevance
189 size_t xkb_vcpu_data_sz; member1093 xkb->xkb_vcpu_data_sz = sz; in xkb_open_core()1252 xkb->xkb_vcpu_data_sz = sect->gs_shdr.sh_size; in xkb_open_elf()1458 mdb_free(xkb->xkb_vcpu_data, xkb->xkb_vcpu_data_sz); in xkb_close()