Displaying 2 results from an estimated 2 matches for "print_pgd".
Did you mean:
print_pgm
2007 Apr 18
0
[RFC/PATCH LGUEST X86_64 04/13] Useful debugging
...+ u64 pmd;
+ u64 ptr;
+ u64 i;
+
+ printk(" %3llx: %llx\n", pud_idx, pud);
+
+ pmd = pud & ~(0xfff) & ~(1UL << 63);
+ for (i=0; i < PTRS_PER_PMD; i++) {
+ ptr = read_page(vcpu, pmd, i);
+ if (ptr)
+ print_pmd(vcpu, ptr, pgd_idx, pud_idx, i);
+ }
+}
+
+static void print_pgd(struct lguest_vcpu *vcpu,
+ u64 pgd, u64 pgd_idx)
+{
+ u64 pud;
+ u64 ptr;
+ u64 i;
+
+ printk(" %3llx: %llx\n", pgd_idx, pgd);
+ pud = pgd & ~(0xfff) & ~(1UL << 63);
+ for (i=0; i < PTRS_PER_PUD; i++) {
+ ptr = read_page(vcpu, pud, i);
+ if (ptr)
+ print_pud(...
2007 Apr 18
0
[RFC/PATCH LGUEST X86_64 04/13] Useful debugging
...+ u64 pmd;
+ u64 ptr;
+ u64 i;
+
+ printk(" %3llx: %llx\n", pud_idx, pud);
+
+ pmd = pud & ~(0xfff) & ~(1UL << 63);
+ for (i=0; i < PTRS_PER_PMD; i++) {
+ ptr = read_page(vcpu, pmd, i);
+ if (ptr)
+ print_pmd(vcpu, ptr, pgd_idx, pud_idx, i);
+ }
+}
+
+static void print_pgd(struct lguest_vcpu *vcpu,
+ u64 pgd, u64 pgd_idx)
+{
+ u64 pud;
+ u64 ptr;
+ u64 i;
+
+ printk(" %3llx: %llx\n", pgd_idx, pgd);
+ pud = pgd & ~(0xfff) & ~(1UL << 63);
+ for (i=0; i < PTRS_PER_PUD; i++) {
+ ptr = read_page(vcpu, pud, i);
+ if (ptr)
+ print_pud(...