Detailed Description

Mutex structure.

Must never be modified by the user.

Definition at line 39 of file mutex.h.

#include <mutex.h>

Data Fields
list_node_t	queue
	The process waiting queue of the mutex. More...

kernel_pid_t	owner
	The current owner of the mutex or `NULL` More...

uinttxtptr_t	owner_calling_pc
	Program counter of the call to mutex_lock that most recently acquired this mutex. More...

uint8_t	owner_original_priority
	Original priority of the owner. More...

Field Documentation

◆ owner

kernel_pid_t mutex_t::owner

The current owner of the mutex or NULL

Note: Only available if module core_mutex_priority_inheritance is used.

If either the mutex is not locked or the mutex is not locked by a thread (e.g. because it is used to synchronize a thread with an ISR completion), this will have the value of NULL.

Definition at line 57 of file mutex.h.

◆ owner_calling_pc

uinttxtptr_t mutex_t::owner_calling_pc

Program counter of the call to mutex_lock that most recently acquired this mutex.

This is used when the module core_mutex_debug is used to debug deadlocks and is non-existing otherwise

Definition at line 67 of file mutex.h.

◆ owner_original_priority

uint8_t mutex_t::owner_original_priority

Original priority of the owner.

Note: Only available if module core_mutex_priority_inheritance is used.

Definition at line 75 of file mutex.h.

◆ queue

list_node_t mutex_t::queue

The process waiting queue of the mutex.

Must never be changed by the user.

Definition at line 45 of file mutex.h.

The documentation for this struct was generated from the following file: