Searched refs:last_idx (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/hierarchical-components/components/Reverse/src/
H A Dmain.c13 int last_idx = strlen(str)-1; local
14 for (int i = 0;i<last_idx/2;i++) {
16 str[i] = str[last_idx-i];
17 str[last_idx-i] = tmp;
/seL4-camkes-master/projects/camkes/apps/multiassembly/components/Reverse/src/
H A Dmain.c13 int last_idx = strlen(str)-1; local
14 for (int i = 0;i<last_idx/2;i++) {
16 str[i] = str[last_idx-i];
17 str[last_idx-i] = tmp;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_console_emul.c29 uint16_t idx = virtq->last_idx[RX_QUEUE];
75 virtq->last_idx[RX_QUEUE]++;
95 uint16_t idx = virtq->last_idx[TX_QUEUE];
128 virtq->last_idx[TX_QUEUE] = idx;
H A Dvirtio_net_emul.c53 uint16_t idx = vq->last_idx[RX_QUEUE];
112 vq->last_idx[RX_QUEUE]++;
145 uint16_t idx = emul->virtq.last_idx[TX_QUEUE];
203 emul->virtq.last_idx[TX_QUEUE] = idx;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dvirtio_pci_emul.h34 uint16_t last_idx[2]; member in struct:v_queue

Completed in 38 milliseconds