We need to call smp_write_lintsrc() instead of smp_write_intsrc() for