46 	unsigned int my_ticket, their_ticket;  in bakery_get_ticket()  local
62 	my_ticket = 0U;  in bakery_get_ticket()
63 	bakery->lock_data[me] = make_bakery_data(CHOOSING_TICKET, my_ticket);  in bakery_get_ticket()
66 		if (their_ticket > my_ticket) {  in bakery_get_ticket()
67 			my_ticket = their_ticket;  in bakery_get_ticket()
75 	++my_ticket;  in bakery_get_ticket()
76 	bakery->lock_data[me] = make_bakery_data(CHOSEN_TICKET, my_ticket);  in bakery_get_ticket()
78 	return my_ticket;  in bakery_get_ticket()
96 	unsigned int my_ticket, my_prio, their_ticket;  in bakery_lock_get()  local
104 	my_ticket = bakery_get_ticket(bakery, me);  in bakery_lock_get()
110 	my_prio = bakery_get_priority(my_ticket, me);  in bakery_lock_get()