psize_t 122 bsp/drv/include/dki.h paddr_t page_alloc(psize_t); psize_t 123 bsp/drv/include/dki.h void page_free(paddr_t, psize_t); psize_t 124 bsp/drv/include/dki.h void page_reserve(paddr_t, psize_t); psize_t 78 include/sys/bootinfo.h psize_t size; /* size in bytes */ psize_t 74 include/sys/sysinfo.h psize_t total; /* total memory size in bytes */ psize_t 75 include/sys/sysinfo.h psize_t free; /* current free memory in bytes */ psize_t 76 include/sys/sysinfo.h psize_t bootdisk; /* total size of boot disk */ psize_t 66 sys/include/hal.h psize_t size; /* size */ psize_t 38 sys/include/page.h paddr_t page_alloc(psize_t); psize_t 39 sys/include/page.h void page_free(paddr_t, psize_t); psize_t 40 sys/include/page.h int page_reserve(paddr_t, psize_t); psize_t 63 sys/mem/page.c static psize_t total_size; /* size of memory in the system */ psize_t 64 sys/mem/page.c static psize_t used_size; /* current used size */ psize_t 65 sys/mem/page.c static psize_t bootdisk_size; /* size of the boot disk */ psize_t 76 sys/mem/page.c page_alloc(psize_t psize) psize_t 116 sys/mem/page.c used_size += (psize_t)size; psize_t 129 sys/mem/page.c page_free(paddr_t paddr, psize_t psize) psize_t 174 sys/mem/page.c used_size -= (psize_t)size; psize_t 182 sys/mem/page.c page_reserve(paddr_t paddr, psize_t psize) psize_t 234 sys/mem/page.c used_size += (psize_t)size;