VFREE
static VFREE vfinitial = { NULL, IO_VIRT_BASE, IO_VIRT_SIZE };
pNew = ofw_malloc(sizeof(VFREE));