#include <asm.h>

SYSCALL(_Serial_Read, 0x1BBA)