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);