Searched refs:LIST_HEAD (Results 1 - 12 of 12) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dqueue.h44 #define MINIOS_LIST_HEAD LIST_HEAD
/seL4-camkes-master/tools/rumprun/lib/librumpkern_mman/
H A Dsys_mman.c63 static LIST_HEAD(, mmapchunk) mmc_list = LIST_HEAD_INITIALIZER(&mmc_list);
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Drumprun.c189 static LIST_HEAD(,rumprunner) rumprunners = LIST_HEAD_INITIALIZER(&rumprunners);
H A Dsysproxy.c311 LIST_HEAD(, prefork) spc_pflist;
946 static LIST_HEAD(, prefork) preforks = LIST_HEAD_INITIALIZER(preforks);
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/
H A Dbusdev_user.c80 LIST_HEAD(, xenbus_dev_transaction) transactions;
81 LIST_HEAD(, xenbus_dev_watch) watches;
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dmemalloc.c72 LIST_HEAD(freebucket, memalloc_freeblk);
H A Dpgalloc.c202 static LIST_HEAD(, chunk) freelist[FREELIST_LEVELS];
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dlist.h30 #define LIST_HEAD(name) \ macro
H A Dphy.c452 static LIST_HEAD(phy_drivers);
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dlist.h30 #define LIST_HEAD(name) \ macro
H A Dphy.c490 static LIST_HEAD(phy_drivers);
/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Dqueue.h172 #define LIST_HEAD(name, type) \ macro

Completed in 191 milliseconds