#include <stdlib.h>
#include <stdio.h>

volatile int errno;

void abort() {
	printk("Abort - errno ");
	printk_int(errno);
	printk(".\n");
	process_exit(-1);
}