Searched refs:first_addr (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c102 void *first_addr = (void *)data->next_bootstrap_vaddr; local
134 return first_addr;
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c102 void *first_addr = (void *)data->next_bootstrap_vaddr; local
134 return first_addr;

Completed in 53 milliseconds