File gic.rs

devices/src/gic.rs:None–None · view source on GitHub ↗

Source from the content-addressed store, hash-verified

1	// Copyright 2020, ARM Limited.
2	//
3	// SPDX-License-Identifier: Apache-2.0 AND BSD-3-Clause
4

nothing calls this directly

no outgoing calls

no test coverage detected