ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 02:01:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

platform/x86: exclude special range from device_pd

Browse Source 
Issue #4820
This commit is contained in:
Alexander Boettcher 2023-04-26 11:38:35 +02:00 committed by Christian Helmuth
parent 7deee978c5
commit 98a31bbfdb
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repos/os/src/drivers/platform/device_pd.cc
View File

@ -197,5 +197,14 @@ Device_pd::Device_pd(Env & env,
enum { DMA_SIZE = 0xffffe000 };
_dma_alloc.add_range(0x1000, DMA_SIZE);
/*
* Interrupt address range is special handled and in general not
* usable for normal DMA translations, see chapter 3.15
* of "Intel Virtualization Technology for Directed I/O"
* (March 2023, Revision 4.1)
*/
enum { IRQ_RANGE_BASE = 0xfee00000u, IRQ_RANGE_SIZE = 0x100000 };
_dma_alloc.remove_range(IRQ_RANGE_BASE, IRQ_RANGE_SIZE);
_pd.ref_account(env.pd_session_cap());
}