SBI_CALL1 - OpenBSD

164

return (SBI_CALL1(SBI_EXT_ID_BASE, SBI_BASE_PROBE_EXTENSION, id).value);

196

(void)SBI_CALL1(SBI_CONSOLE_PUTCHAR, 0, ch);

214

(void)SBI_CALL1(SBI_SET_TIMER, 0, val);

235

(void)SBI_CALL1(SBI_SEND_IPI, 0, (uint64_t)hart_mask);

242

(void)SBI_CALL1(SBI_REMOTE_FENCE_I, 0, (uint64_t)hart_mask);

123

ret = SBI_CALL1(SBI_EXT_ID_HSM, SBI_HSM_HART_STATUS, hart);