flsll
int flsll(long long) __pure2;
hdp.hdp_addrwidth = (flsll(hdp.hdp_baseaddr + len) + 3) / 4;
extern int flsll(long long);