Changeset 63e27ef in mainline for kernel/generic/src/sysinfo/stats.c
- Timestamp:
- 2017-06-19T21:47:42Z (8 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- deacc58d
- Parents:
- 7354b5e
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/generic/src/sysinfo/stats.c
r7354b5e r63e27ef 34 34 */ 35 35 36 #include <assert.h> 36 37 #include <typedefs.h> 37 38 #include <abi/sysinfo.h> … … 231 232 static void produce_stats_task(task_t *task, stats_task_t *stats_task) 232 233 { 233 ASSERT(interrupts_disabled());234 ASSERT(irq_spinlock_locked(&task->lock));234 assert(interrupts_disabled()); 235 assert(irq_spinlock_locked(&task->lock)); 235 236 236 237 stats_task->task_id = task->taskid; … … 333 334 static void produce_stats_thread(thread_t *thread, stats_thread_t *stats_thread) 334 335 { 335 ASSERT(interrupts_disabled());336 ASSERT(irq_spinlock_locked(&thread->lock));336 assert(interrupts_disabled()); 337 assert(irq_spinlock_locked(&thread->lock)); 337 338 338 339 stats_thread->thread_id = thread->tid;
Note:
See TracChangeset
for help on using the changeset viewer.