180 dev_t           mdevadd(int devid, uint64_t base, unsigned int size, int phys);
183 int             mdevgetrange(int devid, uint64_t *base, uint64_t *size);
488 	uint64_t base;  in mdevinit()  local
519 …ba = cvtnum(ba, lp, &base);                                             /* Convert base of memory …  in mdevinit()
526 		if (base & 0xFFF) {  in mdevinit()
540 		dev = mdevadd(devid, base >> 12, (unsigned)size >> 12, phys);   /* Go add the device */  in mdevinit()
635 mdevadd(int devid, uint64_t base, unsigned int size, int phys)  in mdevadd()  argument
648 …if (!(((base + size - 1) < mdev[i].mdBase) || ((mdev[i].mdBase + mdev[i].mdSize - 1) < base))) { /…  in mdevadd()
698 …mdev[devid].mdBase = base;                                                      /* Set the base ad…  in mdevadd()
706 	    devid, devid, mdev[devid].mdBDev, mdev[devid].mdCDev, base << 12, (uint64_t)size << 12);  in mdevadd()
747 mdevgetrange(int devid, uint64_t *base, uint64_t *size)  in mdevgetrange()  argument
749 	assert(base);  in mdevgetrange()
762 	*base = mdev[devid].mdBase << 12;  in mdevgetrange()
766 	assert(*size < (UINT64_MAX - *base));  in mdevgetrange()