/barrelfish-master/lib/barrelfish/vspace/ |
H A D | memobj_pinned.c | 157 pager_free(struct memobj *memobj, size_t size, struct capref *frames, size_t num_frames) argument
|
H A D | memobj_one_frame_lazy.c | 151 pager_free(struct memobj *memobj, size_t size, struct capref *frames, size_t num_frames) argument
|
H A D | memobj_one_frame_one_map.c | 182 pager_free(struct memobj *memobj, size_t size, struct capref *frames, size_t num_frames) argument
|
H A D | memobj_fixed.c | 295 pager_free(struct memobj *memobj, size_t size, struct capref *frames, size_t num_frames) argument [all...] |
H A D | memobj_one_frame.c | 208 pager_free(struct memobj *memobj, size_t size, struct capref *frames, size_t num_frames) argument
|
H A D | memobj_anon.c | 455 pager_free(struct memobj *memobj, size_t size, struct capref *frames, size_t num_frames) argument [all...] |
H A D | memobj_append.c | 384 pager_free(struct memobj *memobj, size_t size, struct capref *frames, size_t num_frames) argument [all...] |
H A D | memobj_numa.c | 333 pager_free(struct memobj *memobj, size_t size, struct capref *frames, size_t num_frames) argument [all...] |
/barrelfish-master/usr/bench/vspace/ |
H A D | vspace_map_bench.c | 187 struct capref frames; local
|
/barrelfish-master/include/barrelfish/ |
H A D | memobj.h | 129 struct capref *frames; ///< the tracked frames member in struct:memobj_fixed 143 struct capref *frames; ///< th member in struct:memobj_numa 153 struct capref *frames; ///< array of frame caps backing the object member in struct:memobj_append [all...] |
/barrelfish-master/usr/drivers/usb/usb_manager/controller/ehci/ |
H A D | usb_ehci_xfer.c | 589 uint32_t frames = 0; local [all...] |
/barrelfish-master/lib/demandpaging/ |
H A D | demandpaging.c | 512 struct capref frames; local 567 demand_paging_region_add_frames(struct capref *frames, size_t count, struct demand_paging_region *dpr) argument [all...] |
/barrelfish-master/lib/demandpaging/include/ |
H A D | dp_internal.h | 207 struct dp_frame **frames; ///< array of all frames member in struct:demand_paging_region
|
/barrelfish-master/lib/driverkit/ |
H A D | iommu_client.c | 39 struct capref frames[]; member in struct:iommu_vnode_l2
|
/barrelfish-master/usr/drivers/usb/usb_manager/controller/ohci/ |
H A D | usb_ohci.h | 280 uint8_t frames; member in struct:usb_ohci_itd
|
/barrelfish-master/usr/drivers/usb/usb_manager/include/ |
H A D | usb_xfer.h | 236 uint32_t frames; member in struct:usb_xfer_config
|
/barrelfish-master/usr/fish/ |
H A D | fish_common.c | 317 int frames = FRAMES; local
|