mirror of
https://github.com/RGBCube/serenity
synced 2025-07-26 15:57:34 +00:00
Kernel: Put Raspberry Pi devices into RPi namespace
This makes it clear in the code that these drivers are specific for the Raspberry Pi devices.
This commit is contained in:
parent
77f24056e0
commit
63ee2781fb
16 changed files with 27 additions and 27 deletions
|
@ -142,7 +142,7 @@ static void build_identity_map(PageBumpAllocator& allocator)
|
|||
u64 device_memory_flags = ACCESS_FLAG | PAGE_DESCRIPTOR | OUTER_SHAREABLE | DEVICE_MEMORY;
|
||||
|
||||
insert_identity_entries_for_physical_memory_range(allocator, level1_table, START_OF_NORMAL_MEMORY, END_OF_NORMAL_MEMORY, normal_memory_flags);
|
||||
insert_identity_entries_for_physical_memory_range(allocator, level1_table, MMIO::the().peripheral_base_address(), MMIO::the().peripheral_end_address(), device_memory_flags);
|
||||
insert_identity_entries_for_physical_memory_range(allocator, level1_table, RPi::MMIO::the().peripheral_base_address(), RPi::MMIO::the().peripheral_end_address(), device_memory_flags);
|
||||
}
|
||||
|
||||
static void switch_to_page_table(u8* page_table)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue