| 97 | } |
| 98 | |
| 99 | static void |
| 100 | blake2_cleanctx(void) |
| 101 | { |
| 102 | int i; |
| 103 | |
| 104 | /* XXX - no way to return driverid */ |
| 105 | CPU_FOREACH(i) { |
| 106 | if (ctx_fpu[i] != NULL) { |
| 107 | mtx_destroy(&ctx_mtx[i]); |
| 108 | fpu_kern_free_ctx(ctx_fpu[i]); |
| 109 | } |
| 110 | ctx_fpu[i] = NULL; |
| 111 | } |
| 112 | free(ctx_mtx, M_BLAKE2); |
| 113 | ctx_mtx = NULL; |
| 114 | free(ctx_fpu, M_BLAKE2); |
| 115 | ctx_fpu = NULL; |
| 116 | } |
| 117 | |
| 118 | static int |
| 119 | blake2_attach(device_t dev) |
no test coverage detected