Lines Matching refs:printf
36 printf("cr3 register %lx\n", debug_pml4);
37 printf("identifying vaddr %lx\n", vaddr);
42 printf("at addr %lx content is %lx\n", (uint64_t)(temp + i), *(temp + i));
44 printf("\n");
49 printf("vaddr broken down\n");
50 printf("sign_extend = %x\n", lin_addr.d.sign_extend);
51 printf("pml4 = %x\n", lin_addr.d.pml4);
52 printf("pdpt = %x\n", lin_addr.d.pdpt);
53 printf("pdir = %x\n", lin_addr.d.pdir);
54 printf("ptable = %x\n", lin_addr.d.ptable);
55 printf("offset = %x\n", lin_addr.d.offset);
60 printf("addr = %lx ", (uint64_t)pml4et);
61 printf("content = %lx\n", *pml4et);
68 printf("addr = %lx ", (uint64_t)pdptet);
69 printf("content = %lx\n", *pdptet);
76 printf("addr = %lx ", (uint64_t)pdiret);
77 printf("content = %lx\n", *pdiret);
84 printf("addr = %lx ", (uint64_t)ptableet);
85 printf("content = %lx\n", *ptableet);
88 printf("addr = %lx\n", addr);