Searched refs:region_base (Results 1 - 9 of 9) sorted by relevance

/barrelfish-2018-10-04/usr/init/
H A Dmem_alloc.c72 genpaddr_t region_base = 0; local
101 region_base = bi->regions[i].mr_base + bi->regions[i].mr_bytes;
108 if (region_base == 0) {
113 err = mm_init(&mymm, ObjType_RAM, region_base,
129 region_base, MM_REQUIREDBYTES / 1024 / 1024);
130 err = mm_add(&mymm, mem_cap, MM_REQUIREDBITS, region_base);
/barrelfish-2018-10-04/usr/drivers/e1000/
H A De1000n_devq.h32 genpaddr_t region_base; member in struct:e1000_queue
H A Ddevif_backend_e1000.c67 device->region_base = id.base;
69 debug_printf("%s:%s: rid:%d:%lx:%lx\n", device->name, __func__, rid, device->region_base, device->region_size);
101 desc.rx_read_format.buffer_address = device->region_base + offset;
133 *offset = rxd->rx_read_format.buffer_address - device->region_base;
157 tdesc.buffer_address = device->region_base + offset + valid_data;
167 tdesc.buffer_address = device->region_base + offset + valid_data;
176 tdesc.buffer_address = device->region_base + offset + valid_data;
210 *offset = txd->buffer_address - device->region_base;
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/net/mlx4/
H A Dmlx4_devif_queue.h27 genpaddr_t region_base; member in struct:mlx4_queue
H A Den_tx.c882 genpaddr_t buffer_data = queue->region_base + offset + valid_data;
H A Den_rx.c381 rx_desc->data[0].addr = cpu_to_be64(queue->region_base + offset + valid_data);
390 // debug_printf("%s: [%d] %d:%d %d:%d %lx:%p\n", __func__, rx_ind, ring->cons, ring->prod, ring->size, ring->size_mask, queue->region_base + offset + valid_data, queue->region_mapped + offset + valid_data);
625 // debug_printf("%s: [%d] %d:%d %d:%d %lx:%p\n", __func__, 0, ring->cons, ring->prod, ring->size, ring->size_mask, queue->region_base + offset + valid_data, queue->region_mapped + offset + valid_data);
H A Dmlx4_devif_queue.c2168 device->region_base = id.base;
/barrelfish-2018-10-04/lib/lwip2/src/barrelfish/
H A Dnetif_barrelfish.c145 uint8_t *region_base = defq_get_region_base(dbuf->rid); local
153 region_base + dbuf->offset + dbuf->valid_data,
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dstartup_arch.c319 create_phys_caps_region(lpaddr_t reserved_start, lpaddr_t reserved_end, lpaddr_t region_base, argument
322 if (reserved_start <= region_base + region_size && region_base <= reserved_end) {
324 if (region_base < reserved_start) {
325 err = create_caps_to_cnode(region_base, reserved_start - region_base, region_type, &spawn_state, bootinfo);
328 if (region_base + region_size > reserved_end) {
329 err = create_caps_to_cnode(reserved_end, region_base + region_size - reserved_end, region_type, &spawn_state, bootinfo);
332 err = create_caps_to_cnode(region_base, region_size, region_type, &spawn_state, bootinfo);

Completed in 109 milliseconds