KVMPPC_RMAP_LOCK_BIT
while (test_bit(KVMPPC_RMAP_LOCK_BIT, rmap))
} while (test_and_set_bit_lock(KVMPPC_RMAP_LOCK_BIT, rmap));
__clear_bit_unlock(KVMPPC_RMAP_LOCK_BIT, rmap);