Christian Prochaska 2c558de891 vbox: 64-bit guest support ...

Fixes #1791

2015-11-29 18:17:06 +01:00

..

guest_memory.h

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

printf.h

vmm: tag printf with compiler "printf" attribute

2014-11-20 17:10:18 +01:00

types.h

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

utcb_guard.h

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

vcpu_dispatcher.h

vbox: 64-bit guest support

2015-11-29 18:17:06 +01:00

vcpu_thread.h

nova: use remote revoke

2015-10-09 16:38:48 +02:00