its_cmd_get_deviceid 835 virt/kvm/arm/vgic/vgic-its.c u32 device_id = its_cmd_get_deviceid(its_cmd); its_cmd_get_deviceid 863 virt/kvm/arm/vgic/vgic-its.c u32 device_id = its_cmd_get_deviceid(its_cmd); its_cmd_get_deviceid 1042 virt/kvm/arm/vgic/vgic-its.c u32 device_id = its_cmd_get_deviceid(its_cmd); its_cmd_get_deviceid 1165 virt/kvm/arm/vgic/vgic-its.c u32 device_id = its_cmd_get_deviceid(its_cmd); its_cmd_get_deviceid 1249 virt/kvm/arm/vgic/vgic-its.c u32 device_id = its_cmd_get_deviceid(its_cmd); its_cmd_get_deviceid 1274 virt/kvm/arm/vgic/vgic-its.c u32 device_id = its_cmd_get_deviceid(its_cmd); its_cmd_get_deviceid 1384 virt/kvm/arm/vgic/vgic-its.c u64 msi_devid = its_cmd_get_deviceid(its_cmd);