/* * Return the size of the hardware key cache. */