Symbol: CODEPUSH_BOOTSTART
drivers/misc/bcm-vk/bcm_vk_dev.c
567
codepush = CODEPUSH_BOOTSTART + CODEPUSH_BOOT1_ENTRY;
drivers/misc/bcm-vk/bcm_vk_dev.c
571
vkwrite32(vk, CODEPUSH_BOOTSTART, BAR_0, offset_codepush);