Lines Matching refs:uintmax_t
93 (uintmax_t) seg->base, seg->limit, seg->selector, seg->type, in print_kvm_segment()
120 "apic_base=%#jx", (uintmax_t) sregs->gdt.base, sregs->gdt.limit, in print_kvm_sregs()
121 (uintmax_t) sregs->idt.base, sregs->idt.limit, sregs->cr0, in print_kvm_sregs()
123 (uintmax_t)sregs->apic_base); in print_kvm_sregs()
128 printf("%#jx", (uintmax_t) sregs->interrupt_bitmap[i]); in print_kvm_sregs()
140 printf("{rax=%#jx", (uintmax_t) regs->rax); in print_kvm_regs()
143 (uintmax_t) regs->rbx, (uintmax_t) regs->rcx, in print_kvm_regs()
144 (uintmax_t) regs->rdx, (uintmax_t) regs->rsi, in print_kvm_regs()
145 (uintmax_t) regs->rdi); in print_kvm_regs()
149 printf(", rsp=%#jx, rbp=%#jx", (uintmax_t) regs->rsp, in print_kvm_regs()
150 (uintmax_t) regs->rbp); in print_kvm_regs()
154 (uintmax_t) regs->r8, (uintmax_t) regs->r9, in print_kvm_regs()
155 (uintmax_t) regs->r10, (uintmax_t) regs->r11, in print_kvm_regs()
156 (uintmax_t) regs->r12, (uintmax_t) regs->r13, in print_kvm_regs()
157 (uintmax_t) regs->r14, (uintmax_t) regs->r15); in print_kvm_regs()
161 printf(", rip=%#jx, rflags=%#jx}", (uintmax_t) regs->rip, in print_kvm_regs()
162 (uintmax_t) regs->rflags); in print_kvm_regs()