* xmlCleanupRandom: * * Clean up PRNG globals. */
| 995 | * Clean up PRNG globals. |
| 996 | */ |
| 997 | void |
| 998 | xmlCleanupRandom(void) { |
| 999 | xmlCleanupMutex(&xmlRngMutex); |
| 1000 | } |
| 1001 | |
| 1002 | ATTRIBUTE_NO_SANITIZE_INTEGER |
| 1003 | static unsigned |
no test coverage detected