Lines Matching refs:list
172 CAMLlocal5(list, cons, key, val, kv); in Val_key_value_list()
175 list = Val_emptylist; in Val_key_value_list()
185 Store_field(cons, 1, list); // tail in Val_key_value_list()
186 list = cons; in Val_key_value_list()
189 CAMLreturn(list); in Val_key_value_list()
214 CAMLlocal3(list, cons, string); in Val_string_list()
217 list = Val_emptylist; in Val_string_list()
222 Store_field(cons, 1, list); // tail in Val_string_list()
223 list = cons; in Val_string_list()
226 CAMLreturn(list); in Val_string_list()
730 CAMLlocal2(list, temp); in stub_xl_device_nic_list()
742 list = temp = Val_emptylist; in stub_xl_device_nic_list()
744 list = caml_alloc_small(2, Tag_cons); in stub_xl_device_nic_list()
745 Field(list, 0) = Val_int(0); in stub_xl_device_nic_list()
746 Field(list, 1) = temp; in stub_xl_device_nic_list()
747 temp = list; in stub_xl_device_nic_list()
748 Store_field(list, 0, Val_device_nic(&c_list[i])); in stub_xl_device_nic_list()
752 CAMLreturn(list); in stub_xl_device_nic_list()
758 CAMLlocal2(list, temp); in stub_xl_device_disk_list()
770 list = temp = Val_emptylist; in stub_xl_device_disk_list()
772 list = caml_alloc_small(2, Tag_cons); in stub_xl_device_disk_list()
773 Field(list, 0) = Val_int(0); in stub_xl_device_disk_list()
774 Field(list, 1) = temp; in stub_xl_device_disk_list()
775 temp = list; in stub_xl_device_disk_list()
776 Store_field(list, 0, Val_device_disk(&c_list[i])); in stub_xl_device_disk_list()
780 CAMLreturn(list); in stub_xl_device_disk_list()
807 CAMLlocal2(list, temp); in stub_xl_device_pci_list()
819 list = temp = Val_emptylist; in stub_xl_device_pci_list()
821 list = caml_alloc_small(2, Tag_cons); in stub_xl_device_pci_list()
822 Field(list, 0) = Val_int(0); in stub_xl_device_pci_list()
823 Field(list, 1) = temp; in stub_xl_device_pci_list()
824 temp = list; in stub_xl_device_pci_list()
825 Store_field(list, 0, Val_device_pci(&c_list[i])); in stub_xl_device_pci_list()
830 CAMLreturn(list); in stub_xl_device_pci_list()
878 CAMLlocal2(list, temp); in stub_xl_device_pci_assignable_list()
890 list = temp = Val_emptylist; in stub_xl_device_pci_assignable_list()
892 list = caml_alloc_small(2, Tag_cons); in stub_xl_device_pci_assignable_list()
893 Field(list, 0) = Val_int(0); in stub_xl_device_pci_assignable_list()
894 Field(list, 1) = temp; in stub_xl_device_pci_assignable_list()
895 temp = list; in stub_xl_device_pci_assignable_list()
896 Store_field(list, 0, Val_device_pci(&c_list[i])); in stub_xl_device_pci_assignable_list()
901 CAMLreturn(list); in stub_xl_device_pci_assignable_list()