Searching in libsel4allocman/arch