int display_init_required(void) { /* For vboot always honor vboot_handoff_skip_display_init(). */ if (CONFIG(VBOOT)) { /* Must always select OPROM_MATTERS when using this function. */ if (!CONFIG(VBOOT_OPROM_MATTERS)) dead_code(); return !vboot_handoff_skip_display_init(); } /* By default always initialize display. */ return 1; }
// PGOUSE-LABEL: @main(i32 %argc, i8** %argv) int main(int argc, const char *argv[]) { dead_code(0); return 0; }