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