2024-10-10 13:24:20 +00:00
|
|
|
// SPDX-License-Identifier: GPL-2.0-only
|
2022-06-12 11:37:02 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2022, Ivaylo Ivanov <ivo.ivanov.ivanov1@gmail.com>
|
|
|
|
*/
|
|
|
|
|
2022-06-16 15:18:20 +00:00
|
|
|
#include <stddef.h>
|
|
|
|
|
2022-06-12 11:37:02 +00:00
|
|
|
#ifndef MAIN_H_ /* Include guard */
|
|
|
|
#define MAIN_H_
|
|
|
|
|
2022-06-14 16:03:48 +00:00
|
|
|
extern unsigned long kernel_size;
|
2024-10-12 16:39:11 +00:00
|
|
|
extern unsigned long ramdisk_size;
|
2022-06-12 11:37:02 +00:00
|
|
|
extern void load_kernel(void* dtb, void* x1, void* x2, void* x3, void* kernel);
|
|
|
|
extern void soc_init(void);
|
|
|
|
|
2023-07-18 11:41:37 +00:00
|
|
|
extern void writel(unsigned int value, void* address);
|
2022-06-16 15:18:20 +00:00
|
|
|
|
2022-06-12 11:37:02 +00:00
|
|
|
#endif // MAIN_H_
|