6 #define DMI_MAX_DATA 2048
8 extern int dmi_alloc_index;
9 extern char dmi_alloc_data[DMI_MAX_DATA];
11 /* This is so early that there is no good way to allocate dynamic memory.
12 Allocate data in an BSS array. */
13 static inline void *dmi_alloc(unsigned len)
15 int idx = dmi_alloc_index;
16 if ((dmi_alloc_index + len) > DMI_MAX_DATA)
18 dmi_alloc_index += len;
19 return dmi_alloc_data + idx;
22 /* Use early IO mappings for DMI because it's initialized early */
23 #define dmi_ioremap early_ioremap
24 #define dmi_iounmap early_iounmap