1// Copyright 2016 The Fuchsia Authors 2// Copyright (c) 2008 Travis Geiselbrecht 3// 4// Use of this source code is governed by a MIT-style 5// license that can be found in the LICENSE file or at 6// https://opensource.org/licenses/MIT 7 8#include <debug.h> 9#include <err.h> 10#include <platform.h> 11 12/* 13 * default implementations of these routines, if the platform code 14 * chooses not to implement. 15 */ 16 17__WEAK void platform_init_mmu_mappings() { 18} 19 20__WEAK void platform_early_init() { 21} 22 23__WEAK void platform_init() { 24} 25 26__WEAK void platform_quiesce() { 27} 28 29__WEAK void platform_panic_start() { 30} 31 32__WEAK void* platform_get_ramdisk(size_t* size) { 33 *size = 0; 34 return NULL; 35} 36