flush_vectors
flush_vectors(vectors_page, 0, vec_end - vec_start);
flush_vectors(vectors_base, 0, PAGE_SIZE * 2);