sm64pc/lib/src/__osSiRawWriteIo.c

#include "libultra_internal.h"
#include "hardware.h"
s32 __osSiRawWriteIo(void *a0, u32 a1) {
    if (__osSiDeviceBusy())
        return -1;
    HW_REG((u32) a0, u32) = a1;
    return 0;
}