#include <asm.h>

SYSCALL(_Serial_WriteUnbuffered, 0x1BBD)