Lines Matching full:implies
2708 /* If we get here, it implies the corresponding entry in
2709 post_syscall_table has .w2 == 1, which in turn implies there
2932 to the generated code -- the pointer's shadow value. That implies
3045 argument -- the pointer's shadow value. That implies that
