You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
45 lines
566 B
45 lines
566 B
/// Use unsigned int as the return value for irq_lock() |
|
/// |
|
// Confidence: High |
|
// Copyright (c) 2017 Intel Corporation |
|
// |
|
// SPDX-License-Identifier: Apache-2.0 |
|
|
|
virtual patch |
|
|
|
@find depends on !(file in "ext")@ |
|
type T; |
|
identifier i; |
|
typedef uint32_t,uint32_t; |
|
@@ |
|
|
|
( |
|
uint32_t i = irq_lock(); |
|
| |
|
unsigned int i = irq_lock(); |
|
| |
|
uint32_t i = irq_lock(); |
|
| |
|
- T |
|
+ unsigned int |
|
i = irq_lock(); |
|
) |
|
|
|
@find2 depends on !(file in "ext") exists@ |
|
type T; |
|
identifier i; |
|
@@ |
|
|
|
( |
|
uint32_t i; |
|
| |
|
unsigned int i; |
|
| |
|
uint32_t i; |
|
| |
|
- T |
|
+ unsigned int |
|
i; |
|
... |
|
i = irq_lock(); |
|
)
|
|
|