Lines Matching refs:S7
354 free(S6, Reg2, S7),
355 free(S7, Reg4, S8),
406 unmap(S6, [SrcRegion], DstRegion, S7),
407 %printf("Unmapped Src, NewS=%p\n", [S7]),
408 state_equal(S5, S7).
420 findall(S7, unmap(S6, [SrcRegion], DstRegion, S7), Li),
435 alloc(S6, Size6M, DstRegion3, S7),
437 map(S7, SrcRegion1, DstRegion1, S8),
443 state_equal(S7, S13).
454 map(S6, SrcRegion2, DstRegion, S7),
455 unmap(S7, [SrcRegion1,SrcRegion2], DstRegion, S8),