OF_claim
heapspace = OF_claim(0, hsize, NBPG);
help = OF_claim(NULL, (unsigned)size, NBPG);
void *OF_claim(void *, u_int, u_int);
heapspace = OF_claim(0, 0x20000, NBPG);
void *OF_claim(void *, u_int, u_int);
help = OF_claim(NULL, (unsigned)size, NBPG);
startbuf = OF_claim((void *) 0xf0100000, (5 * 1024 * 1024), 0);
void *OF_claim(void *, u_int, u_int);
help = OF_claim(NULL, (unsigned)size, NBPG);
if ( (addr = OF_claim(0, kssize, NBPG)) == (void *)-1) {
if (OF_claim((void *)(long)va, len, PAGE_SIZE_4M) == (void*)-1){
void* OF_claim(void *, u_int, u_int);
v = OF_claim(NULL, 2*PAGE_SIZE, PAGE_SIZE);
if ((v = OF_claim(NULL, PAGE_SIZE, PAGE_SIZE)) == NULL) {
void *OF_claim(void *, u_int, u_int);