@@ -1560,6 +1560,20 @@ void domain_rangeset_destroy(struct domain *d,
rangeset_destroy(r, &d->rangesets_lock);
}
+void domain_rangeset_printk(
+ struct domain *d)
+{
+ printk("Rangesets belonging to domain %u:\n", d->domain_id);
+
+ spin_lock(&d->rangesets_lock);
+
+ if ( list_empty(&d->rangesets) )
+ printk(" None\n");
+
+ rangeset_list_printk(&d->rangesets);
+
+ spin_unlock(&d->rangesets_lock);
+}
/*
* Local variables:
@@ -320,7 +320,7 @@ static void dump_domains(unsigned char key)
arch_dump_domain_info(d);
- rangeset_domain_printk(d);
+ domain_rangeset_printk(d);
dump_pageframe_info(d);
@@ -455,26 +455,17 @@ void rangeset_printk(
read_unlock(&r->lock);
}
-void rangeset_domain_printk(
- struct domain *d)
+void rangeset_list_printk(
+ struct list_head *list)
{
struct rangeset *r;
- printk("Rangesets belonging to domain %u:\n", d->domain_id);
-
- spin_lock(&d->rangesets_lock);
-
- if ( list_empty(&d->rangesets) )
- printk(" None\n");
-
- list_for_each_entry ( r, &d->rangesets, rangeset_list )
+ list_for_each_entry ( r, list, rangeset_list )
{
printk(" ");
rangeset_printk(r);
printk("\n");
}
-
- spin_unlock(&d->rangesets_lock);
}
/*
@@ -114,4 +114,7 @@ struct rangeset *domain_rangeset_new(struct domain *d, char *name,
void domain_rangeset_destroy(struct domain *d,
struct rangeset *r);
+void domain_rangeset_printk(
+ struct domain *d);
+
#endif /* __XEN_DOMAIN_H__ */
@@ -81,8 +81,8 @@ void rangeset_swap(struct rangeset *a, struct rangeset *b);
/* Rangeset pretty printing. */
void rangeset_printk(
struct rangeset *r);
-void rangeset_domain_printk(
- struct domain *d);
+void rangeset_list_printk(
+ struct list_head *list);
#endif /* __XEN_RANGESET_H__ */