Searched refs:PAGE_RESERVED (Results 1 – 3 of 3) sorted by relevance
331 page_set_flags(startaddr, endaddr, PAGE_RESERVED); in page_init()335 page_set_flags(startaddr, endaddr, PAGE_RESERVED); in page_init()366 page_set_flags(startaddr, endaddr, PAGE_RESERVED); in page_init()
349 #define PAGE_RESERVED 0x0020 macro
250 static const uint64 PAGE_RESERVED = U64_1 << 61; in Read() local