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