summaryrefslogtreecommitdiff
path: root/pfinet/Makefile
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>1995-11-08 01:17:37 +0000
committerMiles Bader <miles@gnu.org>1995-11-08 01:17:37 +0000
commitfa2352732d90560e64cce3e1f966a147cef41427 (patch)
tree1e2e2844caeebe1eaa3b95dfad5c4378883e1c1e /pfinet/Makefile
parent2348dc14e371d1057e8e48037e8894c0084c6f13 (diff)
(proc_stat_set_flags):
Initialize the proc_info and proc_info_size fields if they've never been set. Always update proc_getprocinfo fields, even if we already had them. (add_preconditions): Correct preconditions for PSTAT_STATE. (PSTAT_TEST_MSGPORT): Renamed from SHOULD_SUPPRESS_MSGPORT_FLAGS. (PSTAT_USES_MSGPORT): New macro. (SUPPRESS_MSGPORT_FLAGS): Use PSTAT_USES_MSGPORT, not PSTAT_MSGPORT. (proc_stat_set_flags): Use PSTAT_TEST_MSGPORT. (merge_procinfo): Only copy old task info if we actually had it. (proc_stat_set_flags): Don't unnecessarily grab procinfo stuff. (summarize_thread_basic_info): Summarize available priority info too. (summarize_thread_sched_info): Do max_ & depress_priority too.
Diffstat (limited to 'pfinet/Makefile')
0 files changed, 0 insertions, 0 deletions