1 

30 extern void bootm_init(unsigned long base, unsigned long size);

31 

42 extern void *bootm_alloc(unsigned long size);

43 

52 extern void bootm_free(void *ptr);

53 

63 extern unsigned long bootm_stat_total(void);

64 

74 extern unsigned long bootm_stat_used(void);

75 

85 extern unsigned long bootm_stat_base(void);

86 

95 extern int bootm_is_initialized(void);

96