reserve_dumppages
vm_offset_t reserve_dumppages(vm_offset_t);
virtual_avail = reserve_dumppages(va);
extern vaddr_t reserve_dumppages(vaddr_t);
virtual_avail = reserve_dumppages(va);
vaddr_t reserve_dumppages(vaddr_t);
void * reserve_dumppages(void *);
p = (vaddr_t)reserve_dumppages((void *)p);
p = (vaddr_t)reserve_dumppages((void *)p);
void * reserve_dumppages(void *);
vmmap = (vaddr_t)reserve_dumppages((void *)(u_long)vmmap);
vaddr_t reserve_dumppages(vaddr_t); /* XXX: not a pmap fn */
virtual_avail = reserve_dumppages(virtual_avail);