Lines Matching refs:codepush
553 u32 codepush;
567 codepush = CODEPUSH_BOOTSTART + CODEPUSH_BOOT1_ENTRY;
591 codepush = CODEPUSH_BOOT2_ENTRY;
634 dev_dbg(dev, "Signaling 0x%x to 0x%llx\n", codepush, offset_codepush);
635 vkwrite32(vk, codepush, BAR_0, offset_codepush);
702 codepush, 0,
720 codepush, offset_codepush);
721 vkwrite32(vk, codepush, BAR_0, offset_codepush);
722 /* reload timeout after every codepush */
1092 * codepush. And, if previous boot has encountered error, need