main                7 kernel/start.c void main();
main               31 kernel/start.c   w_mepc((uint64)main);
main               12 user/ulib.c      extern int main();
main               13 user/ulib.c      main();