From c81e91c158fdaf65b5a7d5085992d7a752f11a3a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Rafa=C5=82=20D=C5=82ugo=C5=82=C4=99cki?= Date: Mon, 15 Jul 2013 05:58:41 +0200 Subject: [PATCH] vlp-10 using code style in intproto.h --- src/int/intproto.h | 133 ++++++++++++++++++++++----------------------- 1 file changed, 66 insertions(+), 67 deletions(-) diff --git a/src/int/intproto.h b/src/int/intproto.h index 0886780..3de4c7e 100644 --- a/src/int/intproto.h +++ b/src/int/intproto.h @@ -1,98 +1,98 @@ #ifndef NO_PROTOTYPES -unsigned alarm( unsigned ); -double prandom( void ); +unsigned alarm(unsigned); +double prandom(void); -void openrc(word,virtaddr *,word *); -void raise_signal(word,word,word *,word *); -void openobj(word,word *,word *); -void slopen(word,virtaddr *,word *,word *); +void openrc(word, virtaddr *, word *); +void raise_signal(word, word, word *, word *); +void openobj(word, word *, word *); +void slopen(word, virtaddr *, word *, word *); void errsignal(int); -void typep(word,word,word *,word *); -void copy(virtaddr *,virtaddr *); -void qua(virtaddr *,word); +void typep(word, word, word *, word *); +void copy(virtaddr *, virtaddr *); +void qua(virtaddr *, word); void standard(word); void disp(virtaddr *); void gkill(virtaddr *); -void typref(virtaddr *,word); -void go(word,word); -void goloc(word,word); -void typed(word,word,word,word,virtaddr *); +void typref(virtaddr *, word); +void go(word, word); +void goloc(word, word); +void typed(word, word, word, word, virtaddr *); void term(void); void wind(void); void trace(word); void inner(word); -void backhd(virtaddr *,word *); -void backbl(virtaddr *,word *); -void backpr(virtaddr *,word *); -void back(virtaddr *,word *,word); +void backhd(virtaddr *, word *); +void backbl(virtaddr *, word *); +void backpr(virtaddr *, word *); +void back(virtaddr *, word *, word); void detach(void); void attach(virtaddr *); -void fin(word,virtaddr *,word *); -void heads(virtaddr *,word); +void fin(word, virtaddr *, word *); +void heads(virtaddr *, word); void resume(virtaddr *); void passivate(int); -void enable(word,word); +void enable(word, word); void evaluaterpc(word); -void disable(word,word); +void disable(word, word); void rpc_accept(word); void rpc3(void); void popmask(word); void askprot(virtaddr *); -bool member(virtaddr *,word *); +bool member(virtaddr *, word *); word virtprot(word); -word loadt(word,word); -bool is(virtaddr *,word); -bool inl(virtaddr *,word); -word shift(word,word); +word loadt(word, word); +bool is(virtaddr *, word); +bool inl(virtaddr *, word); +word shift(word, word); void execute(void); void abend(char *); -void addext(char *,char *); -void usage( void ); -void decode( void ); -void init_scheduler( void ); -void runsys( void ); -void schedule( void ); -void msginterrupt( message * ); -void loosen( void ); -void update( word, word ); -void compactify( void ); +void addext(char *, char *); +void usage(void); +void decode(void); +void init_scheduler(void); +void runsys(void); +void schedule(void); +void msginterrupt(message *); +void loosen(void); +void update(word, word); +void compactify(void); void moveparams(word, word, message *, int, int); void sendmsg1(message *); word getnode(word); void endprocess(int); word entier(double); -char *asciiz( virtaddr * ); +char *asciiz(virtaddr *); void ranset(void); -void moveblock( char *,char *, word ); -void request( word, word *, word *); -word memavail( void ); -void newarry( word, word, word, virtaddr *, word *); -void initprocess( word,word,procaddr *); -void activate( word ); -void reset( word ); -void pushmask( word ); -void trapmsg( void ); -void rpc2( void ); -void endrun( int ); -void loadfile(word,word *,word *,FILE **); -word directio(virtaddr *,word,int (*)(),FILE *); -void nonstandard( word ); -void genfileobj(bool,word,char *,virtaddr *,word *); -void rewrite( word ); -void delete( virtaddr * ); -bool testeof( FILE * ); -bool testeoln( FILE * ); -char *tempfilename( void ); -word readint( FILE * ); -double readreal( FILE * ); -void writeint( word, word, FILE * ); -void writereal( double, word, word, FILE * ); -void writestring( word, word, FILE * ); -void readln( FILE * ); -void senderr( int, procaddr * ); -void rpcend( message * ); -void rpc1( message * ); +void moveblock(char *, char *, word); +void request(word, word *, word *); +word memavail(void); +void newarry(word, word, word, virtaddr *, word *); +void initprocess(word, word, procaddr *); +void activate(word); +void reset(word); +void pushmask(word); +void trapmsg(void); +void rpc2(void); +void endrun(int); +void loadfile(word, word *, word *, FILE **); +word directio(virtaddr *, word, int (*)(), FILE *); +void nonstandard(word); +void genfileobj(bool, word, char *, virtaddr *, word *); +void rewrite(word); +void delete(virtaddr *); +bool testeof(FILE *); +bool testeoln(FILE *); +char *tempfilename(void); +word readint(FILE *); +double readreal(FILE *); +void writeint(word, word, FILE *); +void writereal(double, word, word, FILE *); +void writestring(word, word, FILE *); +void readln(FILE *); +void senderr(int, procaddr *); +void rpcend(message *); +void rpc1(message *); void handle_message(MESSAGE*); int check_port(MESSAGE*); void send_to_kernel(MESSAGE*); @@ -103,7 +103,6 @@ char read_char(); void read_str(char*); - #else unsigned alarm(); -- 2.30.2