regs.h (353B)
1 #ifndef KIT_ARCH_RV64_REGS_H 2 #define KIT_ARCH_RV64_REGS_H 3 4 #include <stdint.h> 5 6 const char* rv64_register_name(uint32_t dwarf_idx); 7 int rv64_register_index(const char* name, uint32_t* idx_out); 8 uint32_t rv64_register_iter_size(void); 9 int rv64_register_iter_get(uint32_t i, uint32_t* dwarf_out, 10 const char** name_out); 11 12 #endif