Symbol: mshv_portid_free
drivers/hv/mshv_root.h
244
void mshv_portid_free(int port_id);
drivers/hv/mshv_synic.c
639
mshv_portid_free(port_id.u.id);
drivers/hv/mshv_synic.c
653
mshv_portid_free(port_id.u.id);
drivers/hv/mshv_synic.c
673
mshv_portid_free(doorbell_portid);