main                7 kernel/start.c void main();
main               25 kernel/start.c   w_mepc((uint64)main);
main               15 user/ulib.c      extern int main(int argc, char **argv);
main               16 user/ulib.c      r = main(argc, argv);