Symbol: vmm_resv_query