blob: eaefecd9e2334b0c56460c8de269a10194b2bea2 [file] [log] [blame]
Achin Gupta4f6ad662013-10-25 09:08:21 +01001/*
Soby Mathew1c9573a2015-02-19 16:23:51 +00002 * Copyright (c) 2013-2015, ARM Limited and Contributors. All rights reserved.
Achin Gupta4f6ad662013-10-25 09:08:21 +01003 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met:
6 *
7 * Redistributions of source code must retain the above copyright notice, this
8 * list of conditions and the following disclaimer.
9 *
10 * Redistributions in binary form must reproduce the above copyright notice,
11 * this list of conditions and the following disclaimer in the documentation
12 * and/or other materials provided with the distribution.
13 *
14 * Neither the name of ARM nor the names of its contributors may be used
15 * to endorse or promote products derived from this software without specific
16 * prior written permission.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
19 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
22 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
23 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
24 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
26 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
27 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
28 * POSSIBILITY OF SUCH DAMAGE.
29 */
30
31#ifndef __BAKERY_LOCK_H__
32#define __BAKERY_LOCK_H__
33
Dan Handley5f0cdb02014-05-14 17:44:19 +010034#include <platform_def.h>
Achin Gupta4f6ad662013-10-25 09:08:21 +010035
36#define BAKERY_LOCK_MAX_CPUS PLATFORM_CORE_COUNT
37
Soby Mathew8c5fe0b2015-01-08 18:02:19 +000038#ifndef __ASSEMBLY__
39#include <stdint.h>
40
Soby Mathew1c9573a2015-02-19 16:23:51 +000041/*****************************************************************************
42 * Internal helper macros used by the bakery lock implementation.
43 ****************************************************************************/
44/* Convert a ticket to priority */
45#define PRIORITY(t, pos) (((t) << 8) | (pos))
46
47#define CHOOSING_TICKET 0x1
48#define CHOSEN_TICKET 0x0
49
50#define bakery_is_choosing(info) (info & 0x1)
51#define bakery_ticket_number(info) ((info >> 1) & 0x7FFF)
52#define make_bakery_data(choosing, number) \
53 (((choosing & 0x1) | (number << 1)) & 0xFFFF)
54
55/*****************************************************************************
56 * External bakery lock interface.
57 ****************************************************************************/
Soby Mathew8c5fe0b2015-01-08 18:02:19 +000058#if USE_COHERENT_MEM
59
Dan Handleyfb037bf2014-04-10 15:37:22 +010060typedef struct bakery_lock {
Jeenu Viswambharan82a0aca2014-03-13 11:16:25 +000061 int owner;
Soby Mathew1c9573a2015-02-19 16:23:51 +000062 /*
63 * The lock_data is a bit-field of 2 members:
64 * Bit[0] : choosing. This field is set when the CPU is
65 * choosing its bakery number.
66 * Bits[1 - 15] : number. This is the bakery number allocated.
67 */
68 volatile uint16_t lock_data[BAKERY_LOCK_MAX_CPUS];
Dan Handleyfb037bf2014-04-10 15:37:22 +010069} bakery_lock_t;
Achin Gupta4f6ad662013-10-25 09:08:21 +010070
71#define NO_OWNER (-1)
72
Dan Handleyfb037bf2014-04-10 15:37:22 +010073void bakery_lock_init(bakery_lock_t *bakery);
Andrew Thoelke634ec6c2014-06-09 12:54:15 +010074void bakery_lock_get(bakery_lock_t *bakery);
75void bakery_lock_release(bakery_lock_t *bakery);
76int bakery_lock_try(bakery_lock_t *bakery);
Achin Gupta4f6ad662013-10-25 09:08:21 +010077
Soby Mathew8c5fe0b2015-01-08 18:02:19 +000078#else
79
80typedef struct bakery_info {
81 /*
82 * The lock_data is a bit-field of 2 members:
83 * Bit[0] : choosing. This field is set when the CPU is
84 * choosing its bakery number.
85 * Bits[1 - 15] : number. This is the bakery number allocated.
86 */
87 volatile uint16_t lock_data;
88} bakery_info_t;
89
90void bakery_lock_get(unsigned int id, unsigned int offset);
91void bakery_lock_release(unsigned int id, unsigned int offset);
92
93#endif /* __USE_COHERENT_MEM__ */
94#endif /* __ASSEMBLY__ */
Achin Gupta4f6ad662013-10-25 09:08:21 +010095#endif /* __BAKERY_LOCK_H__ */