/// 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();
)