extern void devicehd(CTE *p);