ivpu_device_id
switch (ivpu_device_id(vdev)) {
switch (ivpu_device_id(vdev)) {
boot_params->device_id = ivpu_device_id(vdev);
if ((ivpu_device_id(vdev) == PCI_DEVICE_ID_LNL &&
(ivpu_device_id(vdev) == PCI_DEVICE_ID_NVL &&
switch (ivpu_device_id(vdev)) {