Searched refs:choosing (Results 1 – 5 of 5) sorted by relevance
44 static inline uint16_t make_bakery_data(unsigned int choosing, unsigned int num) in make_bakery_data() argument46 unsigned int val = (choosing & 0x1U) | (num << 1); in make_bakery_data()
189 distinct dispatchers. For example, by choosing 2 additional bits (i.e., bits198 choosing *n* bits for priority range assignment, the platform must ensure
56 A platform choosing to include the SDEI dispatcher must also define the events
1654 general recipe for choosing the right base addresses for each bootloader image.2138 * Bit[0] : choosing. This field is set when the CPU is2139 * choosing its bakery number.2182 * Bit[0] : choosing. This field is set when the CPU is2183 * choosing its bakery number.
193 borne in mind when choosing the routing model for an interrupt type.
Completed in 11 milliseconds