| 990 | } |
| 991 | |
| 992 | void Setup1() { |
| 993 | /* Load the global configuration context. */ |
| 994 | InitializeConfigurationContext(); |
| 995 | |
| 996 | /* Initialize uart for logging. */ |
| 997 | SetupLogForBoot(); |
| 998 | |
| 999 | /* Initialize the security engine. */ |
| 1000 | se::Initialize(); |
| 1001 | |
| 1002 | /* Initialize the gic. */ |
| 1003 | gic::InitializeCommon(); |
| 1004 | } |
| 1005 | |
| 1006 | void Setup1ForWarmboot() { |
| 1007 | /* Initialize the security engine. */ |
no test coverage detected