mm_pkey_allocation_map
mm_pkey_allocation_map(mm) |= (1U << pkey); \
mm_pkey_allocation_map(mm) &= ~(1U << pkey); \
return mm_pkey_allocation_map(mm) & (1U << pkey);
if (mm_pkey_allocation_map(mm) == all_pkeys_mask)
ret = ffz(mm_pkey_allocation_map(mm));
if (mm_pkey_allocation_map(mm) == all_pkeys_mask)
ret = ffz((u32)mm_pkey_allocation_map(mm));
mm_pkey_allocation_map(mm) |= pkey_alloc_mask(pkey); \
mm_pkey_allocation_map(mm) &= ~pkey_alloc_mask(pkey); \
(mm_pkey_allocation_map(mm) & pkey_alloc_mask(pkey))
mm_pkey_allocation_map(mm) = initial_allocation_mask;
mm_pkey_allocation_map(mm) = mm_pkey_allocation_map(oldmm);
ret = ffz(mm_pkey_allocation_map(mm));
mm_pkey_allocation_map(mm) |= (1U << pkey); \
mm_pkey_allocation_map(mm) &= ~(1U << pkey); \
return mm_pkey_allocation_map(mm) & (1U << pkey);
if (mm_pkey_allocation_map(mm) == all_pkeys_mask)