474 	u32 rdy_marker = vkread32(vk, BAR_1, VK_BAR1_MSGQ_DEF_RDY);  in bcm_vk_sync_card_info()
486 		vkwrite32(vk, (u64)vk->tdma_addr >> 32, BAR_1,  in bcm_vk_sync_card_info()
488 		vkwrite32(vk, (u32)vk->tdma_addr, BAR_1,  in bcm_vk_sync_card_info()
490 		vkwrite32(vk, nr_scratch_pages * PAGE_SIZE, BAR_1,  in bcm_vk_sync_card_info()
537 	vkwrite32(vk, (u64)host_buf_addr >> 32, BAR_1,  in bcm_vk_buf_notify()
539 	vkwrite32(vk, (u32)host_buf_addr, BAR_1,  in bcm_vk_buf_notify()
541 	vkwrite32(vk, buf_size, BAR_1, VK_BAR1_DMA_BUF_SZ);  in bcm_vk_buf_notify()
630 		memcpy_toio(vk->bar[BAR_1] + BAR1_CODEPUSH_BASE_BOOT1,  in bcm_vk_load_image_by_type()
1071 	vkwrite32(vk, 0, BAR_1, VK_BAR1_MSGQ_DEF_RDY);  in bcm_vk_trigger_reset()
1073 	vkwrite32(vk, 0, BAR_1, VK_BAR1_BOOT1_VER_TAG);  in bcm_vk_trigger_reset()
1076 		vkwrite32(vk, 0, BAR_1, VK_BAR1_DAUTH_STORE_ADDR(i));  in bcm_vk_trigger_reset()
1077 		vkwrite32(vk, 0, BAR_1, VK_BAR1_DAUTH_VALID_ADDR(i));  in bcm_vk_trigger_reset()
1080 		vkwrite32(vk, 0, BAR_1, VK_BAR1_SOTP_REVID_ADDR(i));  in bcm_vk_trigger_reset()