| Patrick Georgi | 11f0079 | 2020-03-04 15:10:45 +0100 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
| Aaron Durbin | 10221a0 | 2016-05-26 10:55:48 -0500 | [diff] [blame] | 2 | |
| 3 | #include <arch/cpu.h> | ||||
| Julius Werner | 94d9411 | 2017-03-16 19:21:51 -0700 | [diff] [blame] | 4 | #include <main_decl.h> |
| Aaron Durbin | 10221a0 | 2016-05-26 10:55:48 -0500 | [diff] [blame] | 5 | |
| 6 | /* Provide an entry point for verstage when it's a separate stage. */ | ||||
| Lee Leahy | 0b5678f | 2017-03-16 16:01:40 -0700 | [diff] [blame] | 7 | asmlinkage void car_stage_entry(void) |
| Aaron Durbin | 10221a0 | 2016-05-26 10:55:48 -0500 | [diff] [blame] | 8 | { |
| Julius Werner | 94d9411 | 2017-03-16 19:21:51 -0700 | [diff] [blame] | 9 | main(); |
| Aaron Durbin | 10221a0 | 2016-05-26 10:55:48 -0500 | [diff] [blame] | 10 | } |