kern/linux/linux_system.cc:
remove random character
kern/linux/linux_threadinfo.hh:
Formatting fixes
--HG--
extra : convert_revision : 2be4772d7455ea1f4eb22966e00831701b7cbc27
kern/linux/linux_system.cc:
remove random character
kern/linux/linux_threadinfo.hh:
Formatting fixes
--HG--
extra : convert_revision : 2be4772d7455ea1f4eb22966e00831701b7cbc27