Searched refs:page_get_high_mfn (Results 1 – 3 of 3) sorted by relevance
230 extern page_t *page_get_high_mfn(mfn_t);
525 pp = page_get_high_mfn(new_high_mfn); in balloon_dec_reservation()535 (pp = page_get_high_mfn(0)) == NULL) { in balloon_dec_reservation()
3029 page_get_high_mfn(mfn_t new_high) in page_get_high_mfn() function