PS3_LPAR_VAS_ID_CURRENT
result = lv1_read_htab_entries(PS3_LPAR_VAS_ID_CURRENT, slot & ~0x3UL,
result = lv1_write_htab_entry(PS3_LPAR_VAS_ID_CURRENT,
result = lv1_write_htab_entry(PS3_LPAR_VAS_ID_CURRENT, slot, 0, 0);
lv1_write_htab_entry(PS3_LPAR_VAS_ID_CURRENT, i, 0, 0);
result = lv1_insert_htab_entry(PS3_LPAR_VAS_ID_CURRENT, hpte_group,
result = lv1_read_htab_entries(PS3_LPAR_VAS_ID_CURRENT,