Symbol: page_file
usr/src/boot/common/commands.c
38
static int page_file(char *filename);
usr/src/boot/common/commands.c
461
res = page_file(argv[i]);
usr/src/common/ficl/emu/loader_emu.c
1426
res = page_file(name);
usr/src/common/ficl/emu/loader_emu.c
74
static int page_file(char *);