/* Sets all bits from the most-significant 1-bit down to the LSB */
static u64 __init fill_mask(u64 mask)
{
- while (mask & (mask + 1))
- mask |= mask + 1;
- return mask;
+ while (mask & (mask + 1))
+ mask |= mask + 1;
+
+ return mask;
}
u64 __init pdx_init_mask(u64 base_addr)
{
- return fill_mask(base_addr - 1);
+ return fill_mask(base_addr - 1);
}
u64 __init pdx_region_mask(u64 base, u64 len)
{
- return fill_mask(base ^ (base + len - 1));
+ return fill_mask(base ^ (base + len - 1));
}
void set_pdx_range(unsigned long smfn, unsigned long emfn)