printf("Profiling kernel, s_textsize=%d [%x..%x]\n",
s_textsize, s_lowpc, s_highpc);
ssiz = (s_textsize / HISTFRACTION) + sizeof(struct phdr);
printf("Profiling kernel, s_textsize=%d [%x..%x]\n",
s_textsize, s_lowpc, s_highpc);
ssiz = (s_textsize / HISTFRACTION) + sizeof(struct phdr);