Searched defs:rcx (Results 1 – 4 of 4) sorted by relevance
91 uint64_t *rcx, uint64_t *rdx) in x86_emulate_cpuid()
777 uint64_t rcx, rdi, rsi, rflags; in emulate_movs() local955 uint64_t rcx, rdi, rflags; in emulate_stos() local
164 l_ulong rcx; member188 l_ulong rcx; member
930 sgx_eldu(uint64_t rbx, uint64_t rcx, in sgx_eldu()