Adjustments of IPC to match new convention (static buffers).
authorAdam Turowski <adam.turowski@inf.ethz.ch>
Tue, 26 Jul 2016 11:36:51 +0000 (13:36 +0200)
committerAdam Turowski <adam.turowski@inf.ethz.ch>
Tue, 26 Jul 2016 11:36:51 +0000 (13:36 +0200)
commiteadd9d4c5db33715fce0b121dd1f2b9453d61dfd
tree9a6e2544ce603b4684b250695890e0d74d252d87
parent6992090a86c94b7a4890db21108bd7f064605b90
Adjustments of IPC to match new convention (static buffers).
(Flounder) Fixing a token passing in 32-bit architectures.

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
61 files changed:
include/skb/skb.h
lib/angler/angler.c
lib/barrelfish/morecore.c
lib/barrelfish/nameservice_client.c
lib/barrelfish/spawn_client.c
lib/octopus/client/barriers.c
lib/octopus/client/getset.c
lib/octopus/client/locking.c
lib/octopus/client/pubsub.c
lib/octopus/client/semaphores.c
lib/octopus/client/trigger.c
lib/octopus/server/capstorage.c
lib/octopus/server/service.c
lib/pci/pci_client.c
lib/posixcompat/dirent.c
lib/posixcompat/pty.c
lib/skb/skb.c
lib/skb/skb_functions.c
lib/spawndomain/spawn_omp.c
lib/term/client/client_blocking.c
lib/usb/usb_manager_client.c
lib/usb/usb_request.c
lib/vfs/vfs_blockdevfs_ahci.c
lib/vfs/vfs_blockdevfs_ata.c
lib/vfs/vfs_fat.c
lib/vfs/vfs_ramfs.c
lib/xeon_phi/xeon_phi_domain.c
tools/flounder/LMP.hs
tools/flounder/MsgFragments.hs
tools/flounder/Multihop.hs
tools/flounder/Syntax.lhs
usr/acpi/acpi_service.c
usr/drivers/cpuboot/main.c
usr/drivers/cpuboot/x86boot.c
usr/drivers/serial/basic_service.c
usr/drivers/serial/terminal_service.c
usr/drivers/xeon_phi/domain.c
usr/examples/xmpl-msg/msg.c
usr/examples/xmpl-rpc/rpc_msg.c
usr/examples/xmpl-thc-binding/thc-binding.c
usr/fish/fish_common.c
usr/kaluga/start_cpu.c
usr/kaluga/start_pci.c
usr/monitor/arch/aarch64/monitor_server.c
usr/monitor/arch/armv7/monitor_server.c
usr/monitor/arch/x86/monitor_server.c
usr/monitor/capops/internal.c
usr/monitor/inter.c
usr/monitor/monitor_server.c
usr/monitor/multihop_support.c
usr/monitor/ram_alloc.c
usr/monitor/resource_ctrl.c
usr/monitor/ump_support.c
usr/pci/pci.c
usr/pci/pci_service.c
usr/ramfsd/service.c
usr/skb/include/skb_server.h
usr/skb/skb_main.c
usr/skb/skb_service.c
usr/spawnd/service.c
usr/tests/ata_rw28_test/ata_rw28_test.c