1/// Use unsigned int as the return value for irq_lock()
2///
3// Confidence: High
4// Copyright (c) 2017 Intel Corporation
5//
6// SPDX-License-Identifier: Apache-2.0
7
8virtual patch
9
10@find depends on !(file in "ext")@
11type T;
12identifier i;
13typedef uint32_t,uint32_t;
14@@
15
16(
17 uint32_t i = irq_lock();
18|
19 unsigned int i = irq_lock();
20|
21 uint32_t i = irq_lock();
22|
23- T
24+ unsigned int
25  i = irq_lock();
26)
27
28@find2 depends on !(file in "ext") exists@
29type T;
30identifier i;
31@@
32
33(
34 uint32_t i;
35|
36 unsigned int i;
37|
38 uint32_t i;
39|
40- T
41+ unsigned int
42  i;
43  ...
44  i = irq_lock();
45)
46