Searched refs:avail (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/projects/util_libs/libethdrivers/include/ethdrivers/virtio/
H A Dvirtio_ring.h48 /* The Guest uses this in avail->flags to advise the Host: don't interrupt me
57 * at the end of the avail ring. Host should ignore the avail->flags field. */
58 /* The Host publishes the avail index for which it expects a kick
99 struct vring_avail *avail; member in struct:vring
130 #define vring_used_event(vr) ((vr)->avail->ring[(vr)->num])
138 vr->avail = p + num*sizeof(struct vring_desc);
139 vr->used = (void *)(((unsigned long)&vr->avail->ring[num] + sizeof(uint16_t)
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_emul.c14 vm_guest_read_mem(emul->vm, &idx, (uintptr_t)&vring->avail->idx, sizeof(vring->avail->idx));
21 vm_guest_read_mem(emul->vm, &elem, (uintptr_t) & (vring->avail->ring[idx % vring->num]), sizeof(elem));
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/pc99/
H A Dvirtio_pci.c270 dev->rx_ring.avail->ring[dev->rx_ring.avail->idx % dev->rx_size] = dev->rdt;
272 dev->rx_ring.avail->idx++;
327 dev->tx_ring.avail->ring[dev->tx_ring.avail->idx% dev->tx_size] = dev->tdt;
334 dev->tx_ring.avail->idx++;
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c578 p_region_t avail; local
579 avail.start = HIGHMEM_PADDR;
580 avail.end = ROUND_DOWN(avail.start + (mbi->part1.mem_upper << 10), PAGE_BITS);
581 if (!add_mem_p_regs(avail)) {

Completed in 1207 milliseconds