Searched defs:page_frame_numbers (Results 1 – 1 of 1) sorted by relevance
1232 std::vector<uint64_t> page_frame_numbers(num_virtual_pages); in Init() local1632 /*out*/ ArrayRef<uint64_t> page_frame_numbers, in GetPageFrameNumbers()1659 ArrayRef<const uint64_t> page_frame_numbers, in GetPageFlagsOrCounts()