Symbol: vmm_desc_t