Lines Matching refs:PRIx64
26 printk("%s: %04x %04x %08x %016"PRIx64"\n", in svm_dump_sel()
42 printk("iopm_base_pa = %#"PRIx64" msrpm_base_pa = %#"PRIx64" tsc_offset = %#"PRIx64"\n", in svm_vmcb_dump()
45 printk("tlb_control = %#x vintr = %#"PRIx64" interrupt_shadow = %#"PRIx64"\n", in svm_vmcb_dump()
48 printk("eventinj %016"PRIx64", valid? %d, ec? %d, type %u, vector %#x\n", in svm_vmcb_dump()
52 printk("exitcode = %#"PRIx64" exitintinfo = %#"PRIx64"\n", in svm_vmcb_dump()
54 printk("exitinfo1 = %#"PRIx64" exitinfo2 = %#"PRIx64"\n", in svm_vmcb_dump()
56 printk("np_enable = %#"PRIx64" guest_asid = %#x\n", in svm_vmcb_dump()
58 printk("cpl = %d efer = %#"PRIx64" star = %#"PRIx64" lstar = %#"PRIx64"\n", in svm_vmcb_dump()
60 printk("CR0 = 0x%016"PRIx64" CR2 = 0x%016"PRIx64"\n", in svm_vmcb_dump()
62 printk("CR3 = 0x%016"PRIx64" CR4 = 0x%016"PRIx64"\n", in svm_vmcb_dump()
64 printk("RSP = 0x%016"PRIx64" RIP = 0x%016"PRIx64"\n", in svm_vmcb_dump()
66 printk("RAX = 0x%016"PRIx64" RFLAGS=0x%016"PRIx64"\n", in svm_vmcb_dump()
68 printk("DR6 = 0x%016"PRIx64", DR7 = 0x%016"PRIx64"\n", in svm_vmcb_dump()
70 printk("CSTAR = 0x%016"PRIx64" SFMask = 0x%016"PRIx64"\n", in svm_vmcb_dump()
72 printk("KernGSBase = 0x%016"PRIx64" PAT = 0x%016"PRIx64"\n", in svm_vmcb_dump()
74 printk("H_CR3 = 0x%016"PRIx64" CleanBits = %#x\n", in svm_vmcb_dump()
107 PRINTF("EFER: SVME bit not set (%#"PRIx64")\n", efer); in svm_vmcb_isvalid()
110 PRINTF("CR0: CD bit is zero and NW bit set (%#"PRIx64")\n", cr0); in svm_vmcb_isvalid()
113 PRINTF("CR0: bits [63:32] are not zero (%#"PRIx64")\n", cr0); in svm_vmcb_isvalid()
120 PRINTF("CR3: MBZ bits are set (%#"PRIx64")\n", cr3); in svm_vmcb_isvalid()
123 PRINTF("CR4: invalid bits are set (%#"PRIx64", valid: %#"PRIx64")\n", in svm_vmcb_isvalid()
127 PRINTF("DR6: bits [63:32] are not zero (%#"PRIx64")\n", in svm_vmcb_isvalid()
131 PRINTF("DR7: bits [63:32] are not zero (%#"PRIx64")\n", in svm_vmcb_isvalid()
136 PRINTF("EFER: undefined bits are not zero (%#"PRIx64")\n", efer); in svm_vmcb_isvalid()
139 PRINTF("EFER: %s (%"PRIx64")\n", hvm_efer_valid(v, efer, -1), efer); in svm_vmcb_isvalid()
158 PRINTF("eventinj: MBZ bits are set (%#"PRIx64")\n", in svm_vmcb_isvalid()