| 114 | } |
| 115 | |
| 116 | void sbi_set_timer(uint64_t val) |
| 117 | { |
| 118 | struct sbi_ret ret; |
| 119 | |
| 120 | /* Use the TIME legacy replacement extension, if available. */ |
| 121 | if (has_time_extension) |
| 122 | { |
| 123 | ret = SBI_CALL1(SBI_EXT_ID_TIME, SBI_TIME_SET_TIMER, val); |
| 124 | RT_ASSERT(ret.error == SBI_SUCCESS); |
| 125 | } |
| 126 | else |
| 127 | { |
| 128 | (void)SBI_CALL1(SBI_SET_TIMER, 0, val); |
| 129 | } |
| 130 | } |
| 131 | |
| 132 | void sbi_send_ipi(const unsigned long *hart_mask) |
| 133 | { |
no outgoing calls
no test coverage detected