Symbol: BAR_BOOTSRC_SELECT
drivers/misc/bcm-vk/bcm_vk_dev.c
563
value = vkread32(vk, BAR_0, BAR_BOOTSRC_SELECT);
drivers/misc/bcm-vk/bcm_vk_dev.c
565
vkwrite32(vk, value, BAR_0, BAR_BOOTSRC_SELECT);