DEVHDLE_MASK
dev_hdl = (devhandle_t)((rp->phys_addr >> 32) & DEVHDLE_MASK);
*dev_hdl = (devhandle_t)((rp->phys_addr >> 32) & DEVHDLE_MASK);