Sign in
opensecura
/
3p
/
sel4
/
sel4_tools
/
5c1f370ce82ce276e12b70e246ddbcef3d7f2059
/
.
/
elfloader-tool
/
include
/
arch-arm
/
scu.h
blob: 9e81816ef6d063de65f856db6de431489d27b406 [
file
]
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: GPL-2.0-only
*/
#pragma
once
void
scu_enable
(
void
*
_scu_base
);
unsigned
int
scu_get_core_count
(
void
*
_scu_base
);