C_VECTORS 213 arch/arm64/kernel/vdso.c .pages = &aarch32_vdso_pages[C_VECTORS], C_VECTORS 246 arch/arm64/kernel/vdso.c aarch32_vdso_pages[C_VECTORS] = virt_to_page(vdso_page); C_VECTORS 247 arch/arm64/kernel/vdso.c flush_dcache_page(aarch32_vdso_pages[C_VECTORS]); C_VECTORS 309 arch/arm64/kernel/vdso.c &aarch32_vdso_spec[C_VECTORS]);