deleted typedef mapid in syscall.h