Searched refs:p_vend (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ | ||
| H A D | dma.c | 285 p_vend = (uintptr_t)p + p->size, /* end virtual address */ local 329 if (p_vend == q_vstart && p_pend == q_pstart) { |
Completed in 31 milliseconds