1    /*
2     * Some or all of this work - Copyright (c) 2006 - 2021, Intel Corp.
3     * All rights reserved.
4     *
5     * Redistribution and use in source and binary forms, with or without modification,
6     * are permitted provided that the following conditions are met:
7     *
8     * Redistributions of source code must retain the above copyright notice,
9     * this list of conditions and the following disclaimer.
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     * Neither the name of Intel Corporation nor the names of its contributors
14     * may be used to endorse or promote products derived from this software
15     * without specific prior written permission.
16     *
17     * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
18     * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19     * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20     * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
21     * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22     * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
23     * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24     * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
25     * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
26     * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27     */
28    /*
29     * Bug 238:
30     *
31     * SUMMARY: The jumping over levels in releasing mutexes is not prohibited
32     */
33    Method (M039, 0, Serialized)
34    {
35        Mutex (MX07, 0x07)
36        Mutex (MX08, 0x08)
37        Mutex (MX09, 0x09)
38        Method (M000, 0, NotSerialized)
39        {
40            Acquire (MX07, 0xFFFF)
41            Acquire (MX08, 0xFFFF)
42            Acquire (MX09, 0xFFFF)
43            CH03 (__METHOD__, 0x00, __LINE__, 0x00, 0x00)
44            Release (MX08)
45            /*
46             * Release(MX08) above doesn't cause exception
47             * but, seems, it should.
48             */
49            CH04 (__METHOD__, 0x00, 0x40, 0x00, __LINE__, 0x00, 0x00) /* AE_AML_MUTEX_ORDER */
50            /* Also this */
51
52            Release (MX07)
53            CH04 (__METHOD__, 0x00, 0x40, 0x00, __LINE__, 0x00, 0x00) /* AE_AML_MUTEX_ORDER */
54            /*
55             * Now, the Release(MX09) below causes exception,
56             * so we have no way to release MX09.
57             *
58             * Considered:
59             *   1. Both Releases above should cause AE_AML_MUTEX_ORDER
60             *   2. The failed Releases above should not change the current level
61             *   3. So, the Release below should succeed
62             */
63            Release (MX09)
64            Release (MX08)
65            Release (MX07)
66            CH03 (__METHOD__, 0x00, __LINE__, 0x00, 0x00)
67        }
68
69        M000 ()
70    }
71