ivpu_hw_ip_ipc_tx_set
ivpu_hw_ip_ipc_tx_set(vdev, vpu_addr);
void ivpu_hw_ip_ipc_tx_set(struct ivpu_device *vdev, u32 vpu_addr);