2022-06-12 11:37:02 +00:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0 */
|
|
|
|
/*
|
|
|
|
* 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;
|
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);
|
|
|
|
extern void board_init(void);
|
|
|
|
|
2023-07-18 11:41:37 +00:00
|
|
|
extern void clean_fb(volatile char *fb, int width, int height, int stride);
|
2022-06-14 16:51:51 +00:00
|
|
|
extern void printk(char *text);
|
2022-06-13 18:27:32 +00:00
|
|
|
|
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_
|