diff options
author | iap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk> | 2005-02-08 22:39:08 +0000 |
---|---|---|
committer | iap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk> | 2005-02-08 22:39:08 +0000 |
commit | 09d5eb57206854f55438aff3442135e3664972c0 (patch) | |
tree | 581d951638ecb5828f8e373bdc2e7eb11a004d3c | |
parent | faf69408ee386b7fdfd5551f1e183e5aeda9d477 (diff) | |
download | xen-09d5eb57206854f55438aff3442135e3664972c0.tar.gz xen-09d5eb57206854f55438aff3442135e3664972c0.tar.bz2 xen-09d5eb57206854f55438aff3442135e3664972c0.zip |
bitkeeper revision 1.1159.223.82 (42093f8cxZb9FQfWwmj7IIok9ndiPg)
minor stats collection addition
ian@xensource.com
-rw-r--r-- | xen/arch/x86/memory.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/xen/arch/x86/memory.c b/xen/arch/x86/memory.c index 8034b67406..631e5c50c9 100644 --- a/xen/arch/x86/memory.c +++ b/xen/arch/x86/memory.c @@ -2039,7 +2039,7 @@ void audit_domain(struct domain *d) scan_for_pfn( e, xpfn ); } - int i; + int i, l1, l2; unsigned long pfn; struct list_head *list_ent; struct pfn_info *page; @@ -2280,6 +2280,7 @@ void audit_domain(struct domain *d) /* PHASE 3 */ list_ent = d->page_list.next; + l1 = l2 = 0; for ( i = 0; (list_ent != &d->page_list); i++ ) { unsigned long *pt; @@ -2289,6 +2290,7 @@ void audit_domain(struct domain *d) switch ( page->u.inuse.type_info & PGT_type_mask ) { case PGT_l2_page_table: + l2++; if ( (page->u.inuse.type_info & PGT_pinned) == PGT_pinned ) adjust( page, 1, 1 ); @@ -2315,6 +2317,7 @@ void audit_domain(struct domain *d) break; case PGT_l1_page_table: + l1++; if ( (page->u.inuse.type_info & PGT_pinned) == PGT_pinned ) adjust( page, 1, 1 ); @@ -2355,7 +2358,7 @@ void audit_domain(struct domain *d) if( pagetable_val(d->mm.pagetable) ) adjust(&frame_table[pagetable_val(d->mm.pagetable)>>PAGE_SHIFT], 1, 1); - printk("Audit %d: Done. pages=%d ctot=%d ttot=%d\n", i, d->id, ctot, ttot ); + printk("Audit %d: Done. pages=%d l1=%d l2=%d ctot=%d ttot=%d\n", d->id, i, l1, l2, ctot, ttot ); if ( d != current ) domain_unpause(d); |