vdso_write_seq_end
vdso_write_seq_end(vc);
vdso_write_seq_end(&vc[CS_HRES_COARSE]);
vdso_write_seq_end(&vc[CS_RAW]);