00001 00002 #ifndef ADBUFFER_LOADED 00003 #define ADBUFFER_LOADED 1 00004 00005 extern void printtraffic() ; 00006 00007 extern void pushinteger4(unsigned int x) ; 00008 extern void lookinteger4(unsigned int *x) ; 00009 extern void popinteger4(unsigned int *x) ; 00010 00011 extern void pushcontrol1b(int cc) ; 00012 extern void lookcontrol1b(int *cc) ; 00013 extern void popcontrol1b(int *cc) ; 00014 extern void pushcontrol2b(int cc) ; 00015 extern void lookcontrol2b(int *cc) ; 00016 extern void popcontrol2b(int *cc) ; 00017 extern void pushcontrol3b(int cc) ; 00018 extern void lookcontrol3b(int *cc) ; 00019 extern void popcontrol3b(int *cc) ; 00020 extern void pushcontrol4b(int cc) ; 00021 extern void lookcontrol4b(int *cc) ; 00022 extern void popcontrol4b(int *cc) ; 00023 extern void pushcontrol5b(int cc) ; 00024 extern void lookcontrol5b(int *cc) ; 00025 extern void popcontrol5b(int *cc) ; 00026 00027 extern void pushreal4(float x) ; 00028 extern void lookreal4(float *x) ; 00029 extern void popreal4(float *x) ; 00030 00031 extern void pushreal8(double x) ; 00032 extern void lookreal8(double *x) ; 00033 extern void popreal8(double *x) ; 00034 00035 extern void pushpointer4(char *x) ; 00036 extern void lookpointer4(char **x) ; 00037 extern void poppointer4(char **x) ; 00038 00039 extern void pushpointer8(char *x) ; 00040 extern void lookpointer8(char **x) ; 00041 extern void poppointer8(char **x) ; 00042 00045 extern void printallbuffers() ; 00046 00047 extern void printbuffertop() ; 00048 extern void showallstacks() ; 00049 00050 #endif