Searched refs:end_sc_vma (Results 1 – 1 of 1) sorted by relevance
708 uint32_t * end_sc_vma = &__sc_end; in copy_switch_code() local713 while ( sc_vma < end_sc_vma ) in copy_switch_code()