Symbol: BOOT1_RUNNING
drivers/misc/bcm-vk/bcm_vk_dev.c
1610
if (boot_stat == BOOT1_RUNNING) {
drivers/misc/bcm-vk/bcm_vk_dev.c
642
BOOT1_RUNNING,
drivers/misc/bcm-vk/bcm_vk_dev.c
643
BOOT1_RUNNING,
drivers/misc/bcm-vk/bcm_vk_dev.c
791
else if (boot_status == BOOT1_RUNNING)