Searched refs:rm_maxaddr (Results 1 – 1 of 1) sorted by relevance
269 static uint64_t rm_maxaddr = 0; in ps3_real_maxaddr() local271 if (rm_maxaddr == 0) { in ps3_real_maxaddr()280 &rm_maxaddr, &junk); in ps3_real_maxaddr()283 return (rm_maxaddr); in ps3_real_maxaddr()