Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / include / barrelfish /
drwxr-xr-x   ..
-rw-r--r-- 2607 barrelfish.h
-rw-r--r-- 3259 bulk_transfer.h
-rw-r--r-- 4856 caddr.h
-rw-r--r-- 1126 cap_predicates.h
-rw-r--r-- 5150 capabilities.h
-rw-r--r-- 3716 core_state.h
-rw-r--r-- 1460 coreset.h
-rw-r--r-- 1142 cspace.h
-rw-r--r-- 2634 debug.h
-rw-r--r-- 1719 deferred.h
-rw-r--r-- 4306 dispatch.h
-rw-r--r-- 2299 dispatcher.h
-rw-r--r-- 3572 domain.h
-rw-r--r-- 1037 event_mutex.h
-rw-r--r-- 1511 event_queue.h
-rw-r--r-- 1953 except.h
-rw-r--r-- 1376 heap.h
-rw-r--r-- 1893 idc.h
-rw-r--r-- 2182 idc_export.h
-rw-r--r-- 1012 inthandler.h
-rw-r--r-- 6109 lmp_chan.h
-rw-r--r-- 3399 lmp_endpoints.h
-rw-r--r-- 6607 memobj.h
-rw-r--r-- 1739 monitor_client.h
-rw-r--r-- 591 morecore.h
-rw-r--r-- 2865 msgbuf.h
-rw-r--r-- 5679 multihop_chan.h
-rw-r--r-- 930 nameservice_client.h
-rw-r--r-- 4660 net_constants.h
-rw-r--r-- 1954 pmap.h
-rw-r--r-- 1208 ram_alloc.h
-rw-r--r-- 633 resource_ctrl.h
-rw-r--r-- 1937 slab.h
-rw-r--r-- 3903 slot_alloc.h
-rw-r--r-- 2999 spawn_client.h
-rw-r--r-- 1787 static_assert.h
-rw-r--r-- 2113 sys_debug.h
-rw-r--r-- 1626 syscalls.h
-rw-r--r-- 670 terminal.h
-rw-r--r-- 1661 thread_sync.h
-rw-r--r-- 3311 threads.h
-rw-r--r-- 2097 types.h
-rw-r--r-- 4959 ump_chan.h
-rw-r--r-- 1949 ump_endpoint.h
-rw-r--r-- 6163 ump_impl.h
-rw-r--r-- 4088 vregion.h
-rw-r--r-- 1397 vspace.h
-rw-r--r-- 3566 vspace_common.h
-rw-r--r-- 1778 vspace_layout.h
-rw-r--r-- 2037 vspace_mmu_aware.h
-rw-r--r-- 3340 waitset.h
-rw-r--r-- 1710 waitset_chan.h