Symbol: ipc_rx_count_get_40xx
drivers/accel/ivpu/ivpu_hw_ip.c
1026
return ipc_rx_count_get_40xx(vdev);
drivers/accel/ivpu/ivpu_hw_ip.c
1072
if (ipc_rx_count_get_40xx(vdev))