Symbol: iotlb_to_asid
drivers/vhost/vdpa.c
1033
u32 asid = iotlb_to_asid(iotlb);
drivers/vhost/vdpa.c
998
u32 asid = iotlb_to_asid(iotlb);