bit_allocator.h
|
nova: speed up cap selector allocation
|
2013-09-23 14:26:01 +02:00 |
bit_array.h
|
Update copyright headers to 2013
|
2013-01-10 21:44:47 +01:00 |
cap_map.h
|
nova: introduce cap_map
|
2013-11-18 11:01:45 +01:00 |
ipc_msgbuf.h
|
nova: use cap_map for IPC
|
2013-11-18 11:01:46 +01:00 |
ipc_pager.h
|
nova: map write_combined ds as dma able
|
2013-02-21 11:52:02 +01:00 |
native_types.h
|
nova: add inc/dec to native_types.h
|
2013-11-18 11:01:45 +01:00 |
pager.h
|
nova: support creation of vCPU in own PD
|
2013-11-25 12:12:31 +01:00 |
sleep.h
|
Update copyright headers to 2013
|
2013-01-10 21:44:47 +01:00 |