Lines Matching full:verified
2665 // a1: pushed function (to be verified)2932 // r1: pushed function (to be verified)
