Lines Matching refs:S1
214 state_add_avail(S, InNodeId, Slots, S1),
216 state_add_free(S1, InNodeId, [block(0, Limit)], NewS).
265 state_empty(S1),
266 add_SYSTEM(S1, [], S2),
288 add_PROC_MMU(S, Id, S1),
295 assert_conf_node(S1, MMU_IN_ID, MMU_OUT_ID, 21, NumSlots, S2),
329 % state_add(S, blu(3,2), S1),
330 % add_pci(S1, addr(0,0,0), _, S2),
336 add_pci_internal(S, Addr, Enum, add_XEONPHI, add_XEONPHI_IOMMU, S1),
348 assert_vspace_node(S1, region(SockOutId, block(0, EndTranslate)), name(SockId,0), S2),
385 remove_pci(S, Addr, S1),
386 add_xeon_phi(S1, Addr, NewEnum, NewS).
417 %add_PCI_IOMMU(S0, Id, S1),