Searched defs:pages (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dsys_madvise.c152 size_t pages = length / pagesize; local
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Ddevice_utils.c108 int pages; local
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_morecore.c219 uint32_t pages = BYTES_TO_4K_PAGES(length); local
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/plat/linux/
H A Dmodule.c94 ext2fs_readpages(struct file *file, struct address_space *mapping, struct list_head *pages, unsigned nr_pages) argument
112 ext2fs_readpages_nolock(struct file *file, struct address_space *mapping, struct list_head *pages, unsigned nr_pages) argument
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_mm.c1518 int pages = 0; local
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/
H A Dinode.c197 fat_readpages(struct file *file, struct address_space *mapping, struct list_head *pages, unsigned nr_pages) argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/
H A Dguest_boot_info.h63 uint16_t pages; /* 0x32 */ member in struct:screen_info

Completed in 54 milliseconds