HPTE_LOCK_BIT
if (!test_and_set_bit_lock(HPTE_LOCK_BIT, word))
while(test_bit(HPTE_LOCK_BIT, word))
clear_bit_unlock(HPTE_LOCK_BIT, word);