Lines Matching refs:S1
115 state_add_free(S0, ["DRAM"], [block(0,Size)], S1),
118 alloc(S1, Size2M, Reg1, S2),
137 state_add_free(S0, ["DRAM"], [block(0,Size)], S1),
138 state_add_free(S1, ["GDDR"], [block(0,Size)], S2),
159 state_add_free(S0, ["SOCKET"], [block(Offset,OffsetLimit)], S1),
166 assert_conf_node(S1, ["SMPT_IN"],["SMPT_OUT"], 34, 32, S2),
173 printf("Src=%p --> Dst=%p with S1=%p\n", [SrcRegion, DstRegion, S5]).
191 state_add_free(S0, ["SOCKET"], [block(Offset,OffsetLimit)], S1),
197 assert_conf_node(S1, ["SMPT_IN"],["SMPT_OUT"], 34, 32, S2),
216 assert_accept_node(S0, region(["DRAM"], block(0, Size)), S1),
217 assert_vspace_node(S1, region(["IN"], block(0,Size)), name(["MMU"], 0), S2),
239 assert_accept_node(S0, region(["DRAM"], block(0, Size)),S1),
240 assert_conf_node(S1, ["SMPT_IN"],["IOMMU_IN"], 34, 32, S2),
257 assert_vspace_node(S0, region(["IN"],block(0,Limit)), name(["SMPT_IN"], 0), S1),
258 assert_conf_node(S1, ["SMPT_IN"],["IOMMU_IN"], 34, 32, S2),
270 state_add_free(S0, ["DRAM"], [block(0,Size)], S1),
273 alloc_wrap(S1, Size2M, 21, DramEnum, [], S2).
278 add_process(S0, E1, S1),
279 printf("ProcEnum=%p, State=%p\n", [E1, S1]),
282 alloc_wrap(S1, Size2M, 21, DramEnum, [E1], S2).
287 add_xeon_phi(S0, addr(10,0,0), E1, S1),
289 add_process(S1, E1, S2),
303 state_add_free(S, ["DRAM"], [Blk], S1),
307 add_vm_overlay(S1, VmEnum, 0, Limt1G, DramEnum, DramBase, NewS),
335 state_add_free(S, ["DRAM"], [Blk], S1),
344 alloc(S1, Size1M, Reg1, S2),
369 state_add_free(S, ["DRAM"], [Blk], S1),
375 alloc(S1, Reg1Size, Reg1, S2),
386 assert_conf_node(S0, ["MMU0"],["DRAM"], 21, 1024, S1),
387 assert_conf_node(S1, ["MMU1"],["DRAM"], 21, 1024, S2),
510 add_pci(S0, addr(0,0,0), E1, S1),
511 add_pci(S1, addr(0,0,1), E2, NewS).
516 (fromto(S0, SIn, SOut, S1), for(I,2,NumPci) do
529 alloc(S1, Size2M, DestReg, N1, N2, NewS),