docs/design/firmware-design.rst

697 In `entry_point_info`, Bits 0 and 5 of ``attr`` field are used to encode the
2278 The field ``local_state`` can be concurrently accessed by multiple CPUs in
2280 mutual exclusion to this field and a clean and invalidate is needed after it
2294          * The lock_data is a bit-field of 2 members:
2295          * Bit[0]       : choosing. This field is set when the CPU is
2314 CPU0 updates its per-CPU field with data cache enabled. This write updates a
2316 CPU1 updates its per-CPU field of the ``bakery_lock_t`` structure with data cache
2318 its field in any other cache line in the system. This operation will invalidate
2338          * The lock_data is a bit-field of 2 members:
2339          * Bit[0]       : choosing. This field is set when the CPU is
2346 The ``bakery_info_t`` represents a single per-CPU field of one lock and
2355     | `bakery_info_t`| <-- Lock_0 per-CPU field
2358     | `bakery_info_t`| <-- Lock_1 per-CPU field
2363     | `bakery_info_t`| <-- Lock_N per-CPU field
2371     | `bakery_info_t`| <-- Lock_0 per-CPU field
2374     | `bakery_info_t`| <-- Lock_1 per-CPU field
2379     | `bakery_info_t`| <-- Lock_N per-CPU field
2658 The ``flags`` field can be specified as a bitwise-OR of the following values:
2687 The ``flags`` field argument can be zero, or ``PMF_CACHE_MAINT`` which