1 /* 2 * Copyright (c) 2013, Google Inc. 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #ifndef ARM_BOOTM_H 8 #define ARM_BOOTM_H 9 10 void bootm_announce_and_cleanup(void); 11 12 #endif 13