Searched refs:RV64_TYPE (Results 1 – 2 of 2) sorted by relevance
68 #define RV64_TYPE(t) ((uint64_t)(t) << 60) macro
144 tdata1 = RV64_TYPE(type) | in build_tdata1()194 tdata1 = RV64_TYPE(t); in tdata1_validate()