Searched defs:page_frame_number (Results 1 – 1 of 1) sorted by relevance
1554 /*out*/ uint64_t* page_frame_number, in GetPageFrameNumber()1644 uint64_t page_frame_number = 0; in IsPageDirty() local