Symbol: ibt_phys_addr_t