Searched refs:choosing (Results 1 – 6 of 6) sorted by relevance

/tf-a-ffa_el3_spmc/include/lib/
A D	bakery_lock.h	44 static inline uint16_t make_bakery_data(unsigned int choosing, unsigned int num) in make_bakery_data() argument 46 unsigned int val = (choosing & 0x1U) | (num << 1); in make_bakery_data()
/tf-a-ffa_el3_spmc/docs/getting_started/
A D	prerequisites.rst	101 Version Manager`_ to install a version of your choosing (we recommend 14, but
/tf-a-ffa_el3_spmc/docs/components/
A D	exception-handling.rst	189 distinct dispatchers. For example, by choosing 2 additional bits (i.e., bits 198 choosing *n* bits for priority range assignment, the platform must ensure
A D	sdei.rst	56 A platform choosing to include the SDEI dispatcher must also define the events
/tf-a-ffa_el3_spmc/docs/design/
A D	firmware-design.rst	1643 general recipe for choosing the right base addresses for each bootloader image. 2108 * Bit[0] : choosing. This field is set when the CPU is 2109 * choosing its bakery number. 2152 * Bit[0] : choosing. This field is set when the CPU is 2153 * choosing its bakery number.
A D	interrupt-framework-design.rst	193 borne in mind when choosing the routing model for an interrupt type.

Completed in 14 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023