#ifndef KASLR_H #define KASLR_H #include <stdint.h> void kaslr_init(void); uint32_t kaslr_rand(void); /* Returns a page-aligned random offset in [0, max_pages * PAGE_SIZE). */ uint32_t kaslr_offset(uint32_t max_pages); #endif