Searched defs:page_frame_number (Results 1 – 1 of 1) sorted by relevance
720 uint64_t* page_frame_number, in GetPageFrameNumber()776 uint64_t page_frame_number = 0; in IsPageDirty() local