ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 15:32:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
0339318572
genode/repos/os/include
History
Norman Feske 0339318572 platform_session: cache arg for alloc_dma_buffer 
This patch extends the 'Platform_session::alloc_dma_buffer' interface
with a 'Cache' argument that corresponds to the argument accepted by
'Ram_allocator::alloc', which is used by the platform driver under the
hood.

Since the x86 platform driver used to be hardwired to allocate DMA
buffers as UNCACHED, I adjusted all drivers by specifying the UNCACHED
argument. Right now, this is needed as a hint for core to steer the
allocation of I/O page tables. Once we eliminate the need for such hints
(by introducing an explicit 'Region_map::attach_dma' operation), we can
revisit the drivers individually because cached DMA buffers should
generally be fine on the x86 architecture.

Issue #2243
2021-04-20 12:10:57 +02:00
..
audio_in_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
audio_out_session os: clear remaining samples in Audio packet 2019-04-09 12:30:34 +02:00
blit os: add blit/painter.h 2020-07-13 11:33:13 +02:00
block platform_session: cache arg for alloc_dma_buffer 2021-04-20 12:10:57 +02:00
block_session doc: tweaks for updated Genode Foundations book 2020-05-27 11:56:46 +02:00
capture_session Capture session interface 2020-07-13 11:33:13 +02:00
decorator Rename 'Nitpicker' namespace to 'Gui' 2020-06-22 09:39:40 +02:00
event_session event_session: make Session_client::Batch abstract 2020-08-25 11:49:43 +02:00
file_system base: remove Cancelable_lock 2020-07-30 08:49:23 +02:00
file_system_session Replace Genode::strncpy by Genode::copy_cstring 2020-05-27 11:56:45 +02:00
framebuffer_session Change pixel format to 32 bits per pixel 2020-06-29 14:22:29 +02:00
gpio gpio: introduce Pin and '_with_gpio' 2020-10-09 13:35:56 +02:00
gpio_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
gpu_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
gui_session Change pixel format to 32 bits per pixel 2020-06-29 14:22:29 +02:00
i2c_session add I2c driver for imx8q based platform 2021-03-29 13:45:24 +02:00
init Adaptation to init refactoring 2017-03-24 16:19:56 +01:00
input input: repeat events require valid codepoints 2019-11-19 14:23:54 +01:00
input_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
ldso Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
loader_session Rename 'Nitpicker' namespace to 'Gui' 2020-06-22 09:39:40 +02:00
mixer os: avoid using deprecated APIs 2019-01-30 13:49:54 +01:00
net net/dhcp.h: more specific include guards 2020-12-09 14:02:10 +01:00
nic base/cache.h: rename Cache_attribute to Cache 2021-04-20 12:10:31 +02:00
nic_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
nitpicker_gfx nitpicker_gfx: Text_painter::Font::index_at_xpos 2020-02-20 12:08:16 +01:00
os base: Refine Range_allocator::alloc_aligned 2021-04-20 12:03:04 +02:00
packet_stream_rx packet_stream_*: fix missing dissolve on exception 2019-11-19 14:42:22 +01:00
packet_stream_tx packet_stream_*: fix missing dissolve on exception 2019-11-19 14:42:22 +01:00
platform_device base/cache.h: rename Cache_attribute to Cache 2021-04-20 12:10:31 +02:00
platform_session os: introduce common platform driver for ARM 2020-05-27 11:56:46 +02:00
pointer os: avoid garbage warnings in app/painter 2019-01-07 12:25:45 +01:00
ram_fs ram_fs: increase max file size on 64 bit to 8 GiB 2019-03-18 15:57:00 +01:00
report_rom os: avoid using deprecated APIs 2019-01-30 13:49:54 +01:00
report_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
rtc_session rtc: extended session with set-signal 2019-08-21 12:37:01 +02:00
smbios smbios.h: move to os/include/smbios 2019-11-19 14:54:12 +01:00
spec platform_session: cache arg for alloc_dma_buffer 2021-04-20 12:10:57 +02:00
terminal terminal: clipboard support 2019-07-09 08:58:38 +02:00
terminal_session os: use Mutex/Blockade 2020-04-17 12:40:12 +02:00
trace trace: extend policy with log_output 2020-04-17 12:47:19 +02:00
uart_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
uplink_session os: introduce new "Uplink" session 2021-01-25 13:48:09 +01:00
usb dde_linux: usb support extra data and zero config 2020-12-09 14:02:11 +01:00
usb_session usb_host: properly handle ISOC read requests 2021-02-23 12:02:44 +01:00
util utf8: non-character U+fffe as invalid codepoint 2019-08-28 14:22:32 +02:00
vfs vfs directory service: name enum Open_mode 2020-11-23 12:02:59 +01:00
virtio os: add VirtIO device helper classes. 2020-10-09 13:35:57 +02:00