Searched defs:rdx (Results 1 – 5 of 5) sorted by relevance
/illumos-gate/usr/src/uts/intel/io/vmm/ |
H A D | vmm_cpuid.c | 186 uint64_t *rcx, uint64_t *rdx) in vcpu_emulate_cpuid()
|
/illumos-gate/usr/src/uts/common/xen/public/arch-x86/ |
H A D | xen-x86_64.h | 213 unsigned long rdx; member
|
/illumos-gate/usr/src/cmd/bhyvectl/ |
H A D | bhyvectl.c | 546 uint64_t rax, rbx, rcx, rdx, rsi, rdi, rbp; in get_all_registers() local
|
/illumos-gate/usr/src/lib/libvmmapi/common/ |
H A D | vmmapi.c | 1545 uint64_t rflags, rip, cr0, cr4, zero, desc_base, rdx; in vcpu_reset() local
|
/illumos-gate/usr/src/common/mpi/ |
H A D | mpi.c | 2694 mp_digit rem, rdx = (mp_digit)radix; in mp_toradix() local
|