| 41 | */ |
| 42 | |
| 43 | static inline int verification_should_run(void) |
| 44 | { |
| 45 | if (CONFIG(VBOOT_SEPARATE_VERSTAGE)) |
| 46 | return ENV_SEPARATE_VERSTAGE; |
| 47 | else if (CONFIG(VBOOT_STARTS_IN_ROMSTAGE)) |
| 48 | return ENV_RAMINIT; |
| 49 | else if (CONFIG(VBOOT_STARTS_IN_BOOTBLOCK)) |
| 50 | return ENV_BOOTBLOCK; |
| 51 | else |
| 52 | dead_code(); |
| 53 | } |
| 54 | |
| 55 | static inline int verstage_should_load(void) |
| 56 | { |
no outgoing calls
no test coverage detected