Rev |
Age |
Author |
Path |
Log message |
Diff |
832 |
6768 d 14 h |
jermar |
/kernel/trunk/ |
Change pt_mapping_remove() to deallocate frames for empty PTL1, PTL2 and PTL3. |
|
831 |
6768 d 21 h |
jermar |
/kernel/trunk/ |
Make use of one unused bit in PTE formats of amd64, ia32 and mips32 to store 1 in valid mappings.
This helps to distinguish valid entries from not present entries with 0 content (i.e. not present
entries with PFN 0 and other bits cleared). |
|
825 |
6769 d 20 h |
jermar |
/kernel/trunk/ |
Remove WAKEUP_IPI stuff.
Make it possible to use PAGE_GLOBAL on ia32, amd64 and mips32.
Make ia32 and amd64 map the kernel using PAGE_GLOBAL. |
|
823 |
6770 d 13 h |
jermar |
/kernel/trunk/ |
Reimplement ASID stealing logic.
This time, hopefully, with correct synchronization. |
|
765 |
6776 d 16 h |
jermar |
/kernel/trunk/ |
Add PAGE_WIDTH to aid divisions by PAGE_SIZE. |
|
763 |
6776 d 22 h |
jermar |
/kernel/trunk/ |
Modify frame.h to use shifting instead of multiplication and division.
Define FRAME_WIDTH for all architectures. |
|
760 |
6777 d 0 h |
jermar |
/kernel/trunk/ |
mips32 is not supposed to allocate page table.
This is done by the generic code now.
Remove PTL0 pointer as it is not needed.
Remove GET_PTL0_ADDRESS from kernel.
Update sparc64 comments in barrier.h. |
|
756 |
6778 d 13 h |
jermar |
/kernel/trunk/ |
Memory management work.
Remove the last (i.e. 'root') argument from page_mapping_insert() and page_mapping_find().
Page table address is now extracted from the first (i.e. 'as') argument.
Add a lot of infrastructure to make the above possible.
sparc64 is now broken, most likely because of insufficient identity mapping of physical memory. |
|
727 |
6790 d 15 h |
jermar |
/kernel/trunk/ |
New ASID management subsystem (initial work, more is required).
Some TLB invalidation changes. |
|
703 |
6797 d 0 h |
jermar |
/kernel/trunk/ |
Memory management work.
- vm.* -> as.* (as like address space is, imho, more fitting)
- Don't do TLB shootdown on vm_install(). Some architectures only need to call tlb_invalidate_asid().
- Don't allocate all frames for as_area in as_area_create(), but let them be allocated on-demand by as_page_fault().
- Add high-level page fault handler as_page_fault().
- Add as_area_load_mapping(). |
|
569 |
6832 d 14 h |
jermar |
/kernel/trunk/ |
sparc64 work.
Implement functions for reading IMMU and DMMU TLBs. |
|
566 |
6833 d 13 h |
palkovsky |
/kernel/trunk/ |
Fixed bug in Intel32/AMD64 boot, that could cause page fault on boot.
Fixes of configuration program. |
|
540 |
6835 d 14 h |
jermar |
/kernel/trunk/arch/ |
Map all available frames of memory on ia32 and amd64 (ticket #10). |
|
534 |
6836 d 17 h |
jermar |
/ |
Rename HelenOS/SPARTAN to HelenOS/kernel again. |
|
532 |
6836 d 18 h |
jermar |
/ |
Revert renaming of HelenOS/SPARTAN to HelenOS/kernel because of important pending patch. |
|
501 |
6848 d 22 h |
jermar |
/ |
Rename HelenOS/SPARTAN to HelenOS/kernel. |
|
391 |
6897 d 15 h |
jermar |
/SPARTAN/trunk/ |
mips32 memory management work.
TLB Refill Exception implemented (passed basic testing).
Remove bit g from struct entry_hi.
Add generic find_mapping().
Add asid to vm_t type, define asid_t to hide architecture specific differences.
Implement ASID allocation for mips32, dummy for other architectures.
Add THE->vm (a.k.a. VM).
Add vm_install_arch().
Move pte_t definition to arch/types.h on each architecture.
Fix PTL manipulating functions on mips32 to shift pfn by 12 instead of by 14.
Fix tlb_init_arch() to initialize all entries.
Other.
Remove unnecessary header files from arch.h
Add missing headers here and there.
Remove two unnecessary ld flags from mips32 makefile. |
|
389 |
6898 d 2 h |
jermar |
/SPARTAN/trunk/ |
MIPS work.
Fix some name inconsistencies between cp0 functions' declarations and definitions.
Add and implement tlb_init_arch().
Add tlb_modified() exception handler.
Other architectures: add dummy tlb_init_arch(). |
|
315 |
6925 d 5 h |
jermar |
/SPARTAN/trunk/arch/ia32/ |
Make IA-32 userspace stack be aligned on doubleword boundary.
In userspace(), mark "eax" as clobbered register. |
|
300 |
6927 d 0 h |
palkovsky |
/SPARTAN/trunk/arch/ia32/ |
Backported AMD64 linker and boot changes back to IA32. |
|