/*
 * Copyright (c) 2013, Google Inc.
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#ifndef ARM_BOOTM_H
#define ARM_BOOTM_H

void bootm_announce_and_cleanup(void);

#endif