Rev 32 | Rev 430 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
extern __u32 haltstate;
extern void halt(void);
extern int strcmp(char *src, char *dst);
extern int strcmp(const char *src, const char *dst);
#endif