save_area_add_vxrs
void __init save_area_add_vxrs(struct save_area *, __vector128 *vxrs);
save_area_add_vxrs(sa, boot_cpu_vector_save_area);
save_area_add_vxrs(sa, page);