kern/linux/linux_threadinfo.hh:
kern/linux/sched.hh:
changed names slightly
--HG--
extra : convert_revision : 8e42ebee1d749a65b78af5733de9e0deda3c548e
kern/linux/linux_threadinfo.hh:
kern/linux/sched.hh:
changed names slightly
--HG--
extra : convert_revision : 8e42ebee1d749a65b78af5733de9e0deda3c548e