projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
bd95d9b
)
ARMv8: do not initialize a mackerel device for accessing system registers
author
Reto Achermann
<reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 14:56:51 +0000 (15:56 +0100)
committer
Reto Achermann
<reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 14:56:51 +0000 (15:56 +0100)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
kernel/arch/armv8/gic_v3.c
patch
|
blob
|
history
diff --git
a/kernel/arch/armv8/gic_v3.c
b/kernel/arch/armv8/gic_v3.c
index
9d7d9b7
..
2c49cbb
100644
(file)
--- a/
kernel/arch/armv8/gic_v3.c
+++ b/
kernel/arch/armv8/gic_v3.c
@@
-15,7
+15,6
@@
#include <paging_kernel_arch.h>
#include <arch/armv8/gic_v3.h>
-static armv8_t armv8_dev;
static gic_v3_t gic_v3_dev;
/*
@@
-28,9
+27,9
@@
static gic_v3_t gic_v3_dev;
*/
errval_t gicv3_init(void)
{
- armv8_initialize(&armv8_dev);
+
// Enable system register access
- armv8_ICC_SRE_EL1_SRE_wrf(&armv8_dev, 1);
+ armv8_ICC_SRE_EL1_SRE_wrf(NULL, 1);
lvaddr_t gic_dist = local_phys_to_mem(platform_get_gic_cpu_address());
gic_v3_initialize(&gic_v3_dev, (char *)gic_dist);