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