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;