mmu_map_physical_memory
extern addr_t mmu_map_physical_memory(addr_t physicalAddress, size_t size, uint32 flags);
gKernelArgs.arch_args.hpet = (void *)mmu_map_physical_memory(
extern addr_t mmu_map_physical_memory(addr_t physicalAddress, size_t size, uint32 flags);
extern addr_t mmu_map_physical_memory(addr_t physicalAddress, size_t size, uint32 flags);
sFrameBuffer = mmu_map_physical_memory(
rsdt = (acpi_descriptor_header*)mmu_map_physical_memory(
rsdt = (acpi_descriptor_header*)mmu_map_physical_memory(
rsdt = (acpi_descriptor_header*)mmu_map_physical_memory(
mmu_map_physical_memory((uint32)*pointer,
return (acpi_descriptor_header*)mmu_map_physical_memory(
void* buffer = (void*)mmu_map_physical_memory(base, size,
extern addr_t mmu_map_physical_memory(addr_t physicalAddress, size_t size, uint32 flags);
gKernelArgs.arch_args.apic = (void *)mmu_map_physical_memory(
sFrameBuffer = mmu_map_physical_memory(
gKernelArgs.arch_args.apic = (void *)mmu_map_physical_memory(
extern addr_t mmu_map_physical_memory(addr_t physicalAddress, size_t size,
extern addr_t mmu_map_physical_memory(addr_t physicalAddress, size_t size, uint32 flags);
gKernelArgs.arch_args.vir_pgdir = mmu_map_physical_memory(
extern addr_t mmu_map_physical_memory(addr_t physicalAddress,
args.platform.boot_tgz_data = (void*)mmu_map_physical_memory((addr_t)
gFDT = (void*)mmu_map_physical_memory((addr_t)gFDT, fdtSize, kDefaultPageFlags);