linux-vybrid_public/arch/um/os-Linux/internal.h

void alarm_handler(int, mcontext_t *);