Searched defs:MAX_NUM_DRHU (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Ddevices.h21 #define MAX_NUM_DRHU ((-PPTR_DRHU_START) >> PAGE_BITS) macro
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dbugzilla180.c18 #define MAX_NUM_DRHU ((-PPTR_DRHU_START) >> PAGE_BITS) macro

Completed in 45 milliseconds