blockprint	lib.c	/^blockprint(int zero_offset, char *buf, int nbytes)/
byteio_describe	byteio.c	/^static void byteio_describe(int fd, int *bufalign,/
byteio_open	byteio.c	/^int byteio_open(int otherfd)$/
byteio_read	byteio.c	/^static int byteio_read(int fd, char *buf, unsigned/
bzero	lib.c	/^void bzero(char *p, size_t len)$/
cacheblock	byteio.c	/^cacheblock(struct bs *b, unsigned devaddr)$/
chk_strcat	ipl.c	/^chk_strcat(char *out, char *in, int len, int *ok)$/
cons_read	ext2.c	/^#define cons_read(dev, addr, length, seekptr) \\$/
convert_from_wide	pdc_misc.c	/^convert_from_wide(unsigned *retbuf)$/
delivercache	byteio.c	/^delivercache(struct bs *b, char **buf, unsigned *d/
describe	fileio.c	/^void describe(int fd, int *bufalign, int *blocksiz/
die	pdc_misc.c	/^void die(const char *s)$/
do_div	vsprintf.c	/^#define do_div(n,base) ({ \\$/
enter_text	lib.c	/^char *enter_text(char *txt, int maxchars)$/
ext2_blkno	ext2.c	/^static int ext2_blkno(struct ext2_inode *ip, int b/
ext2_bread	ext2.c	/^static int ext2_bread(int fd, long blkno, long nbl/
ext2_breadi	ext2.c	/^static int ext2_breadi(struct ext2_inode *ip, long/
ext2_close	ext2.c	/^static void ext2_close(int fd)$/
ext2_describe	ext2.c	/^static void ext2_describe(int fd, int *bufalign,$/
ext2_filesize	ext2.c	/^int ext2_filesize(int fd)$/
ext2_follow_link	ext2.c	/^static struct ext2_inode * ext2_follow_link(struct/
ext2_fstat	ext2.c	/^static int ext2_fstat(int fd, struct stat* buf)$/
ext2_iget	ext2.c	/^static struct ext2_inode *ext2_iget(int ino)$/
ext2_iput	ext2.c	/^static void ext2_iput(struct ext2_inode *ip)$/
ext2_mount	ext2.c	/^int ext2_mount(long cons_dev, long p_offset, long /
ext2_namei	ext2.c	/^static struct ext2_inode *ext2_namei(const char *n/
ext2_open	ext2.c	/^int ext2_open(const char *filename)$/
ext2_read	ext2.c	/^static int ext2_read(int fd, char *buf, unsigned c/
ext2_readdir	ext2.c	/^static const char * ext2_readdir(int fd, int rewin/
ext2_readdiri	ext2.c	/^static struct ext2_dir_entry_2 *ext2_readdiri(stru/
fileio_open	fileio.c	/^int fileio_open(describe_t describef, read_t readf/
firmware_call	pdc_misc.c	/^firmware_call(unsigned long long fn, ...)$/
firmware_init	pdc_misc.c	/^firmware_init(int started_wide)$/
flush_data_cache	ipl.c	/^void flush_data_cache(char *start, size_t length)$/
getchar	pdc_cons.c	/^getchar(void)$/
inplace	ext2.c	/^#define inplace(xform, var) (var) = xform((var))$/
interact	ipl.c	/^interact(char *commandline, int *ok)$/
iplmain	ipl.c	/^iplmain(int is_interactive, char *initialstackptr,/
join	ipl.c	/^join(char *out, int argc, char *argv[], int *ok)$/
load_kernel	ipl.c	/^load_kernel(int fd, unsigned *entryp, int *wide)$/
load_rd	ipl.c	/^load_rd(int fd, int size)$/
malloc	lib.c	/^char *malloc(int nbytes)$/
malloc_aligned	lib.c	/^char *malloc_aligned(int nbytes, int align)$/
malloc_init	lib.c	/^void malloc_init(char *free)$/
memcmp	lib.c	/^int memcmp(const void * cs,const void * ct,size_t /
memcpy	lib.c	/^void *memcpy(void *d, const void *s, size_t len)$/
memset	lib.c	/^void * memset(void * s,int c,size_t count)$/
number	vsprintf.c	/^static char * number(char * str, long num, int bas/
offset_describe	offset.c	/^static void offset_describe(int fd, int *bufalign,/
offset_open	offset.c	/^int offset_open(int otherfd, int offset, int lengt/
offset_read	offset.c	/^static int offset_read(int fd, char *buf, unsigned/
parse	ipl.c	/^parse(const char *cmdline, int *kpart, char *kname/
parse_number	ipl.c	/^parse_number(char *s, char **next)$/
parse_pfname	ipl.c	/^parse_pfname(char *s, int *partition, char *name)$/
pdc_bootdev_describe	pdc_bootio.c	/^static void pdc_bootdev_describe(int fd, int *bufa/
pdc_bootdev_open	pdc_bootio.c	/^int pdc_bootdev_open()$/
pdc_bootdev_read	pdc_bootio.c	/^static int pdc_bootdev_read(int fd,$/
pdc_cons_duplex	pdc_misc.c	/^pdc_cons_duplex()$/
pdc_cons_mux	pdc_misc.c	/^pdc_cons_mux(int *is_mux)$/
pdc_default_width	pdc_misc.c	/^pdc_default_width(int wide)$/
pdc_iodc_bootin	pdc_misc.c	/^pdc_iodc_bootin(unsigned devaddr, char *memaddr, u/
pdc_iodc_cin	pdc_misc.c	/^pdc_iodc_cin(char *buf, int size)$/
pdc_iodc_cout	pdc_misc.c	/^pdc_iodc_cout(const char *s, int size)$/
pdc_os_bits	pdc_misc.c	/^pdc_os_bits()$/
pdc_read_conspath	pdc_misc.c	/^pdc_read_conspath(unsigned char *memaddr)$/
print_ext2_blkno	ext2.c	/^static int print_ext2_blkno(struct ext2_inode *ip,/
printf	pdc_cons.c	/^int printf(const char *fmt, ...)$/
printinode	ext2.c	/^static void printinode(const char *s, struct ext2_/
putchar	pdc_cons.c	/^putchar(int c)$/
puts	pdc_cons.c	/^puts(const char *s)$/
seekread	fileio.c	/^int seekread(int fd, char *buf, unsigned nbytes, u/
skip_atoi	vsprintf.c	/^static int skip_atoi(const char **s)$/
sprintf	vsprintf.c	/^int sprintf(char * buf, const char *fmt, ...)$/
strcat	lib.c	/^char *strcat(char *dest, const char *src)$/
strchr	lib.c	/^char * strchr(const char * s, int c)$/
strcpy	lib.c	/^char *strcpy(char *dest, const char *src)$/
streq	lib.c	/^int streq(const char *a, const char *b)$/
strlen	lib.c	/^size_t strlen(const char * s)$/
strncmp	lib.c	/^int strncmp(const char * cs,const char * ct,size_t/
strncpy	lib.c	/^char * strncpy(char * dest,const char *src,size_t /
strnlen	lib.c	/^size_t strnlen(const char * s, size_t count)$/
strpbrk	lib.c	/^char * strpbrk(const char * cs,const char * ct)$/
strrchr	lib.c	/^char * strrchr(const char * s, int c)$/
strspn	lib.c	/^size_t strspn(const char *s, const char *accept)$/
strstr	lib.c	/^char * strstr(const char * s1,const char * s2)$/
strtok	lib.c	/^char * strtok(char * s,const char * ct)$/
swapde	ext2.c	/^static void swapde(struct ext2_dir_entry_2 *de)$/
swapgrp	ext2.c	/^static void swapgrp(struct ext2_group_desc *g)$/
swapino	ext2.c	/^static void swapino(struct ext2_inode *i)$/
swapsb	ext2.c	/^static void swapsb(struct ext2_super_block *sb)$/
vsprintf	vsprintf.c	/^int vsprintf(char *buf, const char *fmt, va_list a/
