plat_hold_page
if (plat_hold_page(offset >> PAGESHIFT, PLAT_HOLD_NO_LOCK, NULL)
if (plat_hold_page(pfn, PLAT_HOLD_LOCK, &pp) ==
if (plat_hold_page(pfn, PLAT_HOLD_NO_LOCK, NULL) !=
extern int plat_hold_page(pfn_t, int, page_t **);