Rev 1 | Rev 72 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
extern void halt(void);
extern int strcmp(char *src, char *dst);
extern __address __u32_search(__address src, int cnt, __u32 x);
#endif