Searched refs:region_base (Results 1 - 9 of 9) sorted by relevance
/barrelfish-2018-10-04/usr/init/ |
H A D | mem_alloc.c | 72 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 D | e1000n_devq.h | 32 genpaddr_t region_base; member in struct:e1000_queue
|
H A D | devif_backend_e1000.c | 67 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 D | mlx4_devif_queue.h | 27 genpaddr_t region_base; member in struct:mlx4_queue
|
H A D | en_tx.c | 882 genpaddr_t buffer_data = queue->region_base + offset + valid_data;
|
H A D | en_rx.c | 381 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 D | mlx4_devif_queue.c | 2168 device->region_base = id.base;
|
/barrelfish-2018-10-04/lib/lwip2/src/barrelfish/ |
H A D | netif_barrelfish.c | 145 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 D | startup_arch.c | 319 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