Lines Matching refs:__vki_u64