diff options
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/perfmon.h | 7 | ||||
| -rw-r--r-- | kern/thread.h | 3 |
2 files changed, 4 insertions, 6 deletions
diff --git a/kern/perfmon.h b/kern/perfmon.h index 0c17752c..3088ed7d 100644 --- a/kern/perfmon.h +++ b/kern/perfmon.h @@ -73,10 +73,9 @@ struct perfmon_dev_ops { /* * Allocate a performance monitoring counter globally for the given * raw event ID, and return the counter ID through the given pointer. - * The range of IDs must start from 0 and increase contiguously. - * - * The PMC index is to be used by the driver when reporting overflows, - * if a custom overflow interrupt handler. + * The driver may return any PMC ID, as long as it uniquely identifies + * the underlying counter. The PMC index is passed when reporting + * overflows, if using a custom overflow interrupt handler. * * Global operation. */ diff --git a/kern/thread.h b/kern/thread.h index 5b5729ce..fd729b3d 100644 --- a/kern/thread.h +++ b/kern/thread.h @@ -737,8 +737,7 @@ unsigned int thread_state(const struct thread *thread); /* * Return true if the given thread is running. * - * Note that this check is speculative, and may not return an accurate - * result. It may only be used for optimistic optimizations. + * This call isn't synchronized, and the caller may obtain an outdated value. */ bool thread_is_running(const struct thread *thread); |