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 platform_init_mmu_mappings()17__WEAK void platform_init_mmu_mappings() { 18 } 19 platform_early_init()20__WEAK void platform_early_init() { 21 } 22 platform_init()23__WEAK void platform_init() { 24 } 25 platform_quiesce()26__WEAK void platform_quiesce() { 27 } 28 platform_panic_start()29__WEAK void platform_panic_start() { 30 } 31 platform_get_ramdisk(size_t * size)32__WEAK void* platform_get_ramdisk(size_t* size) { 33 *size = 0; 34 return NULL; 35 } 36