Searched refs:choosing (Results 1 – 6 of 6) 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
1781 general recipe for choosing the right base addresses for each bootloader image.2295 * Bit[0] : choosing. This field is set when the CPU is2296 * choosing its bakery number.2339 * Bit[0] : choosing. This field is set when the CPU is2340 * choosing its bakery number.
193 borne in mind when choosing the routing model for an interrupt type.
3930 registers choosing to program bits of their choice. If using in combination with