des_ks
des_ks(keysched, key_uint64[0]);
des_ks(keysched, key_uint64[0]);
des_ks(keysched + 16, key_uint64[1]);
des_ks(keysched+32, key_uint64[2]);
extern void des_ks(uint64_t *, uint64_t);