1 /* Copyright (c) 1979 Regents of the University of California */ 2 3 /* static char sccsid[] = "@(#)machdep.h 1.1 01/07/81"; */ 4 5 #define pushaddr push4 6 #define popaddr (char *)pop4 7 #define popargs(num) popsp(num * sizeof(int)) 8