source:
trunk/kernel/mm
@
392
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
vseg.h | 8.9 KB | 388 | 7 years | Change the vmm_get_vseg() function to access the reference cluster … | |
vseg.c | 6.4 KB | 315 | 7 years | Redefine the fuctions ppm_base2page() / ppm_page2base() / … | |
vmm.h | 20.6 KB | 388 | 7 years | Change the vmm_get_vseg() function to access the reference cluster … | |
vmm.c | 35.3 KB | 390 | 7 years | RPC_VMM_GET_REF_VSEG renamed to RPC_VMM_GET_VSEG | |
ppm.h | 9.4 KB | 315 | 7 years | Redefine the fuctions ppm_base2page() / ppm_page2base() / … | |
ppm.c | 8.8 KB | 315 | 7 years | Redefine the fuctions ppm_base2page() / ppm_page2base() / … | |
page.h | 9.1 KB | 315 | 7 years | Redefine the fuctions ppm_base2page() / ppm_page2base() / … | |
page.c | 6.1 KB | 315 | 7 years | Redefine the fuctions ppm_base2page() / ppm_page2base() / … | |
mapper.h | 10.7 KB | 315 | 7 years | Redefine the fuctions ppm_base2page() / ppm_page2base() / … | |
mapper.c | 15.0 KB | 367 | 7 years | Change Time unit from cycle to TICK (in millisecond). Fix several bugs … | |
kmem.h | 6.7 KB | 188 | 7 years | Redefine the PIC device API. | |
kmem.c | 9.2 KB | 188 | 7 years | Redefine the PIC device API. | |
khm.h | 4.2 KB | 18 | 8 years | cosmetic, and a few typos | |
khm.c | 4.3 KB | 315 | 7 years | Redefine the fuctions ppm_base2page() / ppm_page2base() / … | |
kcm.h | 6.0 KB | 188 | 7 years | Redefine the PIC device API. | |
kcm.c | 10.3 KB | 352 | 7 years | Don't compute kcm_page twice. |
Note: See TracBrowser
for help on using the repository browser.