ppc64_bolted_size
limit = min(ppc64_bolted_size(), ppc64_rma_size);
limit = min(ppc64_bolted_size(), ppc64_rma_size);
limit = min(ppc64_bolted_size(), ppc64_rma_size);
u64 ppc64_bolted_size(void);
u64 limit = ppc64_bolted_size();
limit = mce_limit = min(ppc64_bolted_size(), ppc64_rma_size);