You might also know this place by the following names:
Ḩayy al Khālidīn, Hayy al Khalidin, حي الخالدين