Searched refs:vec_start_new (Results 1 - 1 of 1) sorted by last modified time

/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c1637 uint64_t vec_start_new = offset; local
1642 if(vec_start_new > vec_end_new){
1646 // Check vec_start_new in range
1647 if(!(src_cap->u.irqsrc.vec_start <= vec_start_new &&
1648 vec_start_new <= src_cap->u.irqsrc.vec_end)){
1667 dest_cte->cap.u.irqsrc.vec_start = vec_start_new;

Completed in 40 milliseconds