VK_BAR1_MSGQ_DEF_RDY
rdy_marker = vkread32(vk, BAR_1, VK_BAR1_MSGQ_DEF_RDY);
vkwrite32(vk, 0, BAR_1, VK_BAR1_MSGQ_DEF_RDY);
u32 rdy_marker = vkread32(vk, BAR_1, VK_BAR1_MSGQ_DEF_RDY);
vkread32(vk, BAR_1, VK_BAR1_MSGQ_DEF_RDY));