Symbol: page_get_high_mfn
usr/src/uts/i86pc/sys/machsystm.h
231
extern page_t *page_get_high_mfn(mfn_t);
usr/src/uts/i86xpv/os/balloon.c
527
pp = page_get_high_mfn(new_high_mfn);
usr/src/uts/i86xpv/os/balloon.c
537
(pp = page_get_high_mfn(0)) == NULL) {