source:
mainline/kernel/arch/arm32/src/mm@
ddcc8a0
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
as.c | 2.0 KB | 3063d56 | 16 years | Do not flush TLB every time a thread is scheduled. Flush TLB only when … | |
frame.c | 2.6 KB | ddcc8a0 | 14 years | Split frame_arch_init() into two parts. - frame_low_arch_init() is … | |
km.c | 1.8 KB | 77a493a | 14 years | Partition arm32 kernel memory. | |
page.c | 3.7 KB | 7e752b2 | 15 years | * correct printf() formatting strings and corresponding arguments * … | |
page_fault.c | 5.7 KB | 7e752b2 | 15 years | * correct printf() formatting strings and corresponding arguments * … | |
tlb.c | 2.8 KB | d99c1d2 | 16 years | use [u]int{8|16|32|64}_t type definitions as detected by the autotool … |
|
Note:
See TracBrowser
for help on using the repository browser.