ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw: fix build error with gcc 10

Browse Source 
Fixes #4115
This commit is contained in:
Christian Prochaska 2021-03-26 23:22:47 +01:00 committed by Norman Feske
parent eb53f8c113
commit c4e3d3dbc4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc
View File

@ -39,7 +39,7 @@ Kernel::Vm::Vm(unsigned,
void Vm::exception(Cpu & cpu)
{
switch(_state.cpu_exception) {
case Genode::Cpu_state::INTERRUPT_REQUEST: [[fallthrough]]
case Genode::Cpu_state::INTERRUPT_REQUEST: [[fallthrough]];
case Genode::Cpu_state::FAST_INTERRUPT_REQUEST:
_interrupt(cpu.id());
return;