/* Allocate some memory for malloc'ator */
malloc_base = prom_claim_chunk((void *)MALLOCADDR, MALLOCSIZE, 0);
if (malloc_base == (void *)-1) {
/* Allocate some memory for malloc'ator */
malloc_base = prom_claim_chunk((void *)MALLOCADDR, MALLOCSIZE, 0);
if (malloc_base == (void *)-1) {