ddi_register_aliases
void ddi_register_aliases(plat_alias_t *pali, uint64_t npali);
ddi_register_aliases(plat_ioaliases, plat_num_ioaliases);