fnd_mapping_sz
osz = fnd_mapping_sz(pp1);
int fnd_mapping_sz(page_t *);
sz = PP_MAPINDEX(lastpp) ? fnd_mapping_sz(lastpp) : 0;
sz = fnd_mapping_sz(pp);
cursz = fnd_mapping_sz(pp);
cursz = fnd_mapping_sz(pp2);
extern int fnd_mapping_sz(page_t *);