Searched refs:rm_maxaddr (Results 1 – 1 of 1) sorted by relevance
268 static uint64_t rm_maxaddr = 0; in ps3_real_maxaddr() local270 if (rm_maxaddr == 0) { in ps3_real_maxaddr()279 &rm_maxaddr, &junk); in ps3_real_maxaddr()282 return (rm_maxaddr); in ps3_real_maxaddr()