SpiNNFrontEndCommon
7.2.2
Common support code for user-facing front end systems.
Loading...
Searching...
No Matches
front_end_common_lib
include
wfi.h
Go to the documentation of this file.
1
/*
2
* Copyright (c) 2020 The University of Manchester
3
*
4
* Licensed under the Apache License, Version 2.0 (the "License");
5
* you may not use this file except in compliance with the License.
6
* You may obtain a copy of the License at
7
*
8
* https://www.apache.org/licenses/LICENSE-2.0
9
*
10
* Unless required by applicable law or agreed to in writing, software
11
* distributed under the License is distributed on an "AS IS" BASIS,
12
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
* See the License for the specific language governing permissions and
14
* limitations under the License.
15
*/
16
17
#pragma once
18
#include <stdint.h>
19
22
32
static
inline
void
wait_for_interrupt
(
void
) {
33
asm
volatile
(
"mcr p15, 0, r0, c7, c0, 4"
);
34
}
wait_for_interrupt
static void wait_for_interrupt(void)
Wait for any interrupt to occur.
Definition
wfi.h:32
Generated by
1.9.8