nr_mfns            67 include/xen/interface/platform.h 	uint64_t nr_mfns;
nr_mfns            97 include/xen/interface/platform.h 	uint64_t nr_mfns;