Searched defs:rdx (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-2018-10-04/lib/libc/stdio/ |
| H A D | xprintf_int.c | 262 int rdx, sign, zext, ngrp; local
[all...] |
| /barrelfish-2018-10-04/include/target/x86_64/barrelfish_kpi/ |
| H A D | registers_target.h | 34 uint64_t rax, rbx, rcx, rdx, rsi, rdi, rbp, rsp, member in struct:registers_x86_64
|
| /barrelfish-2018-10-04/lib/tommath/mtest/ |
| H A D | mpi.c | 2558 mp_digit rem, rdx = (mp_digit)radix; local
|
Completed in 46 milliseconds