| 1 | /* @title: PRNG */ |
|---|---|
| 2 | #pragma once |
| 3 | #include <stdint.h> |
| 4 | void prng_seed(uint64_t seed); |
| 5 | uint64_t prng_next(); |
| 6 |
Generated while processing charmos/kernel/main.c
Generated on 2026-Jul-22 from project charmos
Powered by 
Code Browser 2.1
Generator usage only permitted with license.