vkread32
fw_status = vkread32(vk, BAR_0, VK_BAR_FWSTS);
rdy_marker = vkread32(vk, BAR_1, VK_BAR1_MSGQ_DEF_RDY);
fw_status = vkread32(vk, BAR_0, VK_BAR_FWSTS);
boot_status = vkread32(vk, BAR_0, BAR_BOOT_STATUS);
value = vkread32(vk, BAR_0, BAR_CODEPUSH_SBL);
boot_status = vkread32(vk, BAR_0, BAR_BOOT_STATUS);
reg = vkread32(vk, BAR_0, BAR_BOOT_STATUS);
reg = vkread32(vk, BAR_0, BAR_INTF_VER);
reg = vkread32(vk, BAR_0, BAR_CARD_ERR_MEM);
reg = vkread32(vk, BAR_0, BAR_CARD_ERR_MEM);
reg = vkread32(vk, BAR_0, BAR_CARD_ERR_LOG);
rd_val = vkread32(vk, bar, offset);
boot_status = vkread32(vk, BAR_0, BAR_BOOT_STATUS);
offset = vkread32(vk, BAR_0, BAR_CARD_STATIC_INFO);
buf_size = vkread32(vk, BAR_2,
num = vkread32(vk, BAR_2, offset);
entry_size = vkread32(vk, BAR_2, offset + sizeof(num));
u32 rdy_marker = vkread32(vk, BAR_1, VK_BAR1_MSGQ_DEF_RDY);
value = vkread32(vk, BAR_0, BAR_BOOTSRC_SELECT);
boot_status = vkread32(vk, BAR_0, BAR_BOOT_STATUS);
reg = vkread32(vk, BAR_0, BAR_BOOT1_STDALONE_PROGRESS);
is_stdalone = vkread32(vk, BAR_0, BAR_BOOT_STATUS) &
boot_status = vkread32(vk, BAR_0, BAR_BOOT_STATUS);
fw_status = vkread32(vk, BAR_0, VK_BAR_FWSTS);
rev = MAJOR_SOC_REV(vkread32(vk, BAR_0, BAR_CHIP_ID));
uptime_s = vkread32(vk, BAR_0, BAR_OS_UPTIME);
msgq_off = vkread32(vk, BAR_1, VK_BAR1_MSGQ_CTRL_OFF);
num_q = vkread32(vk, BAR_1, VK_BAR1_MSGQ_NR) / 2;
vkread32(vk, BAR_1, VK_BAR1_MSGQ_DEF_RDY));
card_status = vkread32(vk, BAR_0, BAR_CARD_STATUS);
vktty->to_size = vkread32(vk, BAR_1, VK_BAR_CHAN_SIZE(vktty, to));
vktty->wr = vkread32(vk, BAR_1, VK_BAR_CHAN_WR(vktty, to));
vktty->from_size = vkread32(vk, BAR_1, VK_BAR_CHAN_SIZE(vktty, from));
vktty->rd = vkread32(vk, BAR_1, VK_BAR_CHAN_RD(vktty, from));
card_status = vkread32(vk, BAR_0, BAR_CARD_STATUS);
wr = vkread32(vk, BAR_1, VK_BAR_CHAN_WR(vktty, from));