cheri_bytes_remaining: Use size_t instead of uint64_t for the return type - Githubissues

CTSRD-CHERI / cheribsd

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

http://cheribsd.org

Other

162 stars 58 forks source link

cheri_bytes_remaining: Use size_t instead of uint64_t for the return type #2189

Closed bsdjhb closed 1 month ago