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

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/
H A Ddevice_utils.c108 int pages; local
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_morecore.c219 uint32_t pages = BYTES_TO_4K_PAGES(length); local
/seL4-test-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 30 milliseconds