Searched refs:regnames (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/tools/riscv-pk/pk/ | ||
H A D | console.c | 28 static const char* regnames[] = { local 40 printk("%s %lx%c",regnames[i+j],tf->gpr[i+j],j < 3 ? ' ' : '\n'); |
Completed in 20 milliseconds