VK_BAR_CHAN_RD
VK_BAR_CHAN_RD(vktty, from));
vktty->rd = vkread32(vk, BAR_1, VK_BAR_CHAN_RD(vktty, from));