Searched refs:vmi_set_desc_t (Results 1 – 1 of 1) sorted by relevance
178 typedef int (*vmi_set_desc_t)(void *vcpui, int num, struct seg_desc *desc); typedef201 vmi_set_desc_t setdesc;