POK(kernelpart)
Data Fields
pok_lockobj_t Struct Reference

#include <lockobj.h>

Data Fields

pok_spinlock_t spin
pok_spinlock_t eventspin
bool_t is_locked
pok_mutex_state_t thread_state [POK_CONFIG_NB_THREADS+2]
pok_locking_policy_t locking_policy
pok_queueing_discipline_t queueing_policy
pok_lockobj_kind_t kind
bool_t initialized
uint16_t current_value
uint16_t max_value

Detailed Description

Definition at line 72 of file lockobj.h.

Field Documentation

uint16_t pok_lockobj_t::current_value

Definition at line 95 of file lockobj.h.

pok_spinlock_t pok_lockobj_t::eventspin

Definition at line 75 of file lockobj.h.

bool_t pok_lockobj_t::initialized

Definition at line 92 of file lockobj.h.

bool_t pok_lockobj_t::is_locked

Definition at line 78 of file lockobj.h.

pok_lockobj_kind_t pok_lockobj_t::kind

Definition at line 90 of file lockobj.h.

pok_locking_policy_t pok_lockobj_t::locking_policy

Definition at line 84 of file lockobj.h.

uint16_t pok_lockobj_t::max_value

Definition at line 96 of file lockobj.h.

pok_queueing_discipline_t pok_lockobj_t::queueing_policy

Definition at line 87 of file lockobj.h.

pok_spinlock_t pok_lockobj_t::spin

Definition at line 74 of file lockobj.h.

pok_mutex_state_t pok_lockobj_t::thread_state[POK_CONFIG_NB_THREADS+2]

Definition at line 81 of file lockobj.h.

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