Searched refs:q_pstart (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ | ||
| H A D | dma.c | 294 q_pstart = extract_paddr(q), local 295 q_pend = q_pstart + q->size; 329 if (p_vend == q_vstart && p_pend == q_pstart) { |
Completed in 29 milliseconds