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