sysi86
(void) sysi86(GGMTL, &kernels_lag);
(void) sysi86(SGMTL, current_lag); /* correct the lag */
(void) sysi86(WTODC); /* set the rtc to */
(void) sysi86(SGMTL, current_lag);
(void) sysi86(RTCSYNC);
(void) sysi86(SI86FPSTART,
if ((_sse_hw = sysi86(SI86FPSTART,
if (sysi86(SI86DSCR, &ssd) < 0)
if (sysi86(SI86DSCR, &ssd) == 0)
if (sysi86(SI86DSCR, &ssd) < 0)
(void) sysi86(SI86DSCR, &ssd);
int sysi86(short, uintptr_t, uintptr_t, uintptr_t);
SYSENT_CI("sysi86", sysi86, 4),
SYSENT_CI("sysi86", sysi86, 4),
extern int sysi86(int, ...);
extern int sysi86();