Kernel Loader: Difference between revisions
| Line 180: | Line 180: | ||
Signature is like | Signature is like | ||
void KernelLdr_MapInitialIdentityMapping(KInitialPageTable *ttbr1_page_table, uintptr_t kernel_base, uintptr_t kernel_size, uintptr_t page_tables_base, uintptr_t page_tables_size, InitialPageAllocator *allocator); | void KernelLdr_MapInitialIdentityMapping(KInitialPageTable *ttbr1_page_table, uintptr_t kernel_base, uintptr_t kernel_size, | ||
uintptr_t page_tables_base, uintptr_t page_tables_size, InitialPageAllocator *allocator); | |||
<pre> | <pre> | ||