7 #include <linux/types.h>
9 #define ReservedMemVirtualAddr 0x50000000
11 unsigned long get_mem_avail(void);
13 ulong* get_reserved_buffer(void);
14 ulong* get_reserved_buffer_virtual(void);
15 ulong get_reserved_buffer_size(void);
17 void reserve_buffer(const char* cl, ulong base_mem);