Search

Sort by

In Project(s)

Searched defs:remoteCall (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/smp/
H A D	ipi.c	`20 static IpiModeRemoteCall_t remoteCall; /* the remote call being requested */ variable`
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/
H A D	ipi.c	`20 static IpiModeRemoteCall_t remoteCall; /* the remote call being requested */ variable`

Completed in 33 milliseconds