mips_user_ss.add(files(
  'tlb_helper.c',
))