Searching in libsel4debug/src/arch