Christophe Leroy's on April 6, 2020 3:44 am:> syscall_64.c will be reused almost as is for PPC32.> > Rename it syscall.cDon't mind this, but I wonder if we can rename it to interrupt.c.A system call is a type of interrupt.Thanks,Nick