38     int32_t bootindex;  member
123 void check_boot_index(int32_t bootindex, Error **errp)  in check_boot_index()  argument
127     if (bootindex >= 0) {  in check_boot_index()
129             if (i->bootindex == bootindex) {  in check_boot_index()
131                            bootindex);  in check_boot_index()
158 void add_boot_device_path(int32_t bootindex, DeviceState *dev,  in add_boot_device_path()  argument
163     if (bootindex < 0) {  in add_boot_device_path()
173     node->bootindex = bootindex;  in add_boot_device_path()
178         if (i->bootindex == bootindex) {  in add_boot_device_path()
179             error_report("Two devices with same boot index %d", bootindex);  in add_boot_device_path()
181         } else if (i->bootindex < bootindex) {  in add_boot_device_path()
285     int32_t *bootindex;  member
294     visit_type_int32(v, name, prop->bootindex, errp);  in device_get_bootindex()
314     *prop->bootindex = boot_index;  in device_set_bootindex()
316     add_boot_device_path(*prop->bootindex, prop->dev, prop->suffix);  in device_set_bootindex()
329 void device_add_bootindex_property(Object *obj, int32_t *bootindex,  in device_add_bootindex_property()  argument
335     prop->bootindex = bootindex;  in device_add_bootindex_property()