1/* 2 * Copyright (c) 1983 Regents of the University of California. 3 * All rights reserved. The Berkeley software License Agreement 4 * specifies the terms and conditions for redistribution. 5 */ 6 7#ifndef lint 8static char sccsid[] = "@(#)reboot.s 5.1 (Berkeley) 06/05/85"; 9#endif not lint 10 11#include "SYS.h" 12 13SYSCALL(reboot) 14 halt 15