Searched refs:PAGE_FLAG_TYPE (Results 1 – 1 of 1) sorted by relevance
67 using PAGE_FLAG_TYPE = const uint32_t; typedef100 PAGE_FLAG_TYPE PG_READAHEAD = 0x00000001;101 PAGE_FLAG_TYPE PG_UPTODATE = 0x00000002;102 PAGE_FLAG_TYPE PG_REFERENCED = 0x00000004;103 PAGE_FLAG_TYPE PG_NEEDBECLEANED = 0x00000020;169 bool SetReadCacheFlag(int64_t index, PAGE_FLAG_TYPE flag) in SetReadCacheFlag()