Note that the symbol ';;' is wrong in 'return (rt_uint32_t)PLIC_claim_interrupt(&g_plic);;', so that ';;' should been replaced with ';'.