uint64_t val  = 0xabcdabcd010001b0;

int main() {


   printf("0x%X.%d.%x",(val&0xFFFFFFFF00000000)>>32,
    (val&0x00000000FF000000)>>24,(val&0x000000000000FFFF));
   return 0;
}