uint phys_end;
int perm;
} kmap[] = {
- { (void*) KERNBASE, 0, EXTMEM, PTE_W}, // I/O space
- { (void*) KERNLINK, V2P(KERNLINK), V2P(data), 0}, // kernel text+rodata
- { (void*) data, V2P(data), PHYSTOP, PTE_W}, // kernel data, memory
- { (void*) DEVSPACE, DEVSPACE, 0, PTE_W}, // more devices
+ { (void*)KERNBASE, 0, EXTMEM, PTE_W}, // I/O space
+ { (void*)KERNLINK, V2P(KERNLINK), V2P(data), 0}, // kernel text+rodata
+ { (void*)data, V2P(data), PHYSTOP, PTE_W}, // kernel data+memory
+ { (void*)DEVSPACE, DEVSPACE, 0, PTE_W}, // more devices
};
// Set up kernel part of a page table.