Searched refs:lastSec (Results 1 – 1 of 1) sorted by relevance
7721 kernel_section_t * sec, * lastSec; local7739 lastSec = NULL;7742 lastSec = sec;7746 if (lastSec == NULL) {7756 lastSecEnd = round_page(lastSec->addr + lastSec->size);