Add additional instruction to decode for Errata766422
Improve copyinout to handle existing mappings with arbitrary sizes. Size it taken from the vspace cookie and is 12 by default
Trivial ram device calls helper function for mapping rather than mapping directly
Introduce syscalls for IPA->PA translation requests
Use simple for assigning ASIDs
Free vspace reservations to not leak memory
Do not attempt to free the underlying frame of a shared mapping, just unmap and deleting the duplicate capability
Pass simple interface to irq_server_new as per changes to irq_server
Exynos: Virtualise sysreg device and power/alive device
Exynos: Add restart and shutdown hooks when installing the virtual power device
Begin virtualisation of GPIO and CLOCK
Stop asserting that we created an IRQ handler since the client may provide IRQ access control.
Prevent linux from manipulating selected clocks
Add access control for GPIO and CLOCK
trivial compile fix for ff235cd1fde
Tolerate missing GPIO device caps
Merge pull request #1 from alexkroh/master

Device access control