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

/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dbugzilla180.c11 #define PPTR_KDEV 0xffff0000 macro
12 #define PPTR_APIC PPTR_KDEV

Completed in 38 milliseconds