Symbol: VK_BAR1_DAUTH_STORE_ADDR
drivers/misc/bcm-vk/bcm_vk.h
239
(VK_BAR1_DAUTH_STORE_ADDR(x) + VK_BAR1_DAUTH_STORE_SIZE)
drivers/misc/bcm-vk/bcm_vk_dev.c
1076
vkwrite32(vk, 0, BAR_1, VK_BAR1_DAUTH_STORE_ADDR(i));