From ec1233b4fcd61a8d1eccbf030cede36e9848e06c Mon Sep 17 00:00:00 2001 From: Ada Christine Date: Thu, 16 Dec 2021 12:06:04 +0000 Subject: reworking loader --- loader/loader_efi.h | 64 ----------------------------------------------------- 1 file changed, 64 deletions(-) delete mode 100644 loader/loader_efi.h (limited to 'loader/loader_efi.h') diff --git a/loader/loader_efi.h b/loader/loader_efi.h deleted file mode 100644 index 4ce3098..0000000 --- a/loader/loader_efi.h +++ /dev/null @@ -1,64 +0,0 @@ -#pragma once - -#include -#include - -#include - -#include -#include - -#include -#include -#include - -enum page_type -{ - INVALID_PAGE_TYPE = 0x0, - CODE_PAGE_TYPE = PAGE_PR, - RODATA_PAGE_TYPE = PAGE_PR|PAGE_NX, - DATA_PAGE_TYPE = PAGE_PR|PAGE_WR|PAGE_NX -}; - -struct system_image -{ - struct memory_range buffer; - EFI_FILE_PROTOCOL *file; - Elf64_Ehdr ehdr; - Elf64_Phdr *phdrs; -}; - -extern EFI_SYSTEM_TABLE *e_st; -extern EFI_BOOT_SERVICES *e_bs; -extern EFI_RUNTIME_SERVICES *e_rt; - -extern EFI_HANDLE e_image_handle; -extern EFI_LOADED_IMAGE_PROTOCOL *e_loaded_image; -extern EFI_SIMPLE_FILE_SYSTEM_PROTOCOL *e_system_partition; -extern EFI_GRAPHICS_OUTPUT_PROTOCOL *e_graphics_output; -extern EFI_STATUS e_last_error; - -noreturn void efi_exit(EFI_STATUS status); - -struct memory_range system_allocate(size_t size); - -void *efi_allocate(size_t size); -void efi_free(void *buffer); - -void paging_init(void); -void paging_enter(void); -void *paging_map_page(void *vaddr, phys_addr_t paddr, enum page_type type); -void *paging_map_pages(void *vaddr, - phys_addr_t paddr, - enum page_type type, - size_t size); -void *paging_map_range(void *vaddr, - struct memory_range *range, - enum page_type type); - -struct system_image *system_image_open(CHAR16 *path); -bool system_image_load(struct system_image *image); -void system_image_map(struct system_image *image); - -void loader_main(void); - -- cgit v1.3.1-1-g115d