diff options
author | Miles Bader <miles@gnu.org> | 1995-11-08 01:17:37 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-11-08 01:17:37 +0000 |
commit | fa2352732d90560e64cce3e1f966a147cef41427 (patch) | |
tree | 1e2e2844caeebe1eaa3b95dfad5c4378883e1c1e /pfinet/Makefile | |
parent | 2348dc14e371d1057e8e48037e8894c0084c6f13 (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