Update alloc_device.h