xpram_highest_page_index  411 drivers/s390/block/xpram.c 	if (xpram_pages != xpram_highest_page_index() + 1)
xpram_highest_page_index  454 drivers/s390/block/xpram.c 	xpram_pages = xpram_highest_page_index() + 1;