Displaying 2 results from an estimated 2 matches for "print_pud".
Did you mean:
print_pgd
2007 Apr 18
0
[RFC/PATCH LGUEST X86_64 04/13] Useful debugging
...|
+ (pud_idx<<PUD_SHIFT) |
+ (pmd_idx<<PMD_SHIFT));
+ } else {
+ pte = pmd & ~(0xfff) & ~(1UL << 63);
+ for (i=0; i < PTRS_PER_PTE; i++) {
+ ptr = read_page(vcpu, pte, i);
+ if (ptr)
+ print_pte(ptr, pgd_idx, pud_idx, pmd_idx, i);
+ }
+ }
+}
+
+static void print_pud(struct lguest_vcpu *vcpu,
+ u64 pud, u64 pgd_idx, u64 pud_idx)
+{
+ 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 (p...
2007 Apr 18
0
[RFC/PATCH LGUEST X86_64 04/13] Useful debugging
...|
+ (pud_idx<<PUD_SHIFT) |
+ (pmd_idx<<PMD_SHIFT));
+ } else {
+ pte = pmd & ~(0xfff) & ~(1UL << 63);
+ for (i=0; i < PTRS_PER_PTE; i++) {
+ ptr = read_page(vcpu, pte, i);
+ if (ptr)
+ print_pte(ptr, pgd_idx, pud_idx, pmd_idx, i);
+ }
+ }
+}
+
+static void print_pud(struct lguest_vcpu *vcpu,
+ u64 pud, u64 pgd_idx, u64 pud_idx)
+{
+ 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 (p...