Searched refs:SAME_PAGE_4K (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/util_libs/libutils/include/utils/
H A Dpage.h39 #define SAME_PAGE_4K(a, b) \ macro
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dwalker.c63 if (!SAME_PAGE_4K(header, ((void *) header) + length)) {

Completed in 88 milliseconds