Lines Matching refs:S1
86 state_remove_avail(S, NodeId, C, S1),
90 state_add_avail(S1, NodeId, CNew, NewS).
94 state_remove_avail(S, NodeId, C, S1),
97 state_add_avail(S1, NodeId, CNew, NewS).
382 state_remove_free(S, DstId, FreeBlks, S1),
386 state_add_free(S1, DstId, FreeBlks3, SNew).
402 state_remove_free(S, DstId, FreeBlks, S1),
404 state_add_free(S1, DstId, FreeBlks2, SNew).
408 free_multi(S, Regs, S1),
409 free(S1, R, NewS).
468 alloc(S, ConfOutBlASize, region(LastConfNodeIn, block(ConfInBlkB, ConfInBlkL)), S1),
471 state_add_mapping(S1,
493 map_rec(S, region(SrcId, SrcB), region(DstId, DstB), ConfNodes, S1),
495 ensure_allocated_vspace(S1, region(SrcId, SrcB), NewS).
535 state_remove_mapping(S0, InSuperReg, name(LastConfNodeOut, OutSuperBase), S1),
541 state_increment_avail(S1, LastConfNodeIn, NumBlocks, S2),
587 unmap_multi(S0, SrcRegs, DstResolvedR, S1),
588 unmap_one(S1, R, DstResolvedR, NewS).
593 free_multi(S0, SrcRegs, S1),
594 unmap_multi(S1, SrcRegs, DstR, NewS).