Searched defs:rdx (Results 1 – 3 of 3) sorted by relevance
91 uint64_t *rcx, uint64_t *rdx) in x86_emulate_cpuid()
165 l_ulong rdx; member189 l_ulong rdx; member
931 uint64_t rdx) in sgx_eldu()