SBI_CALL0 - OpenBSD

145

return (SBI_CALL0(SBI_EXT_ID_BASE, SBI_BASE_GET_MVENDORID).value);

152

return (SBI_CALL0(SBI_EXT_ID_BASE, SBI_BASE_GET_MARCHID).value);

158

return (SBI_CALL0(SBI_EXT_ID_BASE, SBI_BASE_GET_MIMPID).value);

207

return (SBI_CALL0(SBI_CONSOLE_GETCHAR, 0).error);

221

(void)SBI_CALL0(SBI_SHUTDOWN, 0);

228

(void)SBI_CALL0(SBI_CLEAR_IPI, 0);

115

(void)SBI_CALL0(SBI_EXT_ID_HSM, SBI_HSM_HART_STOP);

52

return (SBI_CALL0(SBI_EXT_ID_BASE, SBI_BASE_GET_SPEC_VERSION));

58

return (SBI_CALL0(SBI_EXT_ID_BASE, SBI_BASE_GET_IMPL_ID));

64

return (SBI_CALL0(SBI_EXT_ID_BASE, SBI_BASE_GET_IMPL_VERSION));