dmi_alloc
RESERVE_BRK(dmi_alloc, 65536);
s = dmi_alloc(8);
s = dmi_alloc(16*2+4+1);
s = dmi_alloc(4);
dev = dmi_alloc(sizeof(*dev) + strlen(name) + 1);
dev = dmi_alloc(sizeof(*dev));
data = dmi_alloc(dm->length);
dev = dmi_alloc(sizeof(*dev));
dev = dmi_alloc(sizeof(*dev) + strlen(name) + 1);
dmi_memdev = dmi_alloc(sizeof(*dmi_memdev) * dmi_memdev_nr);
str = dmi_alloc(len);