PX_SPD_SYSCLK_GET
pixis_spd, PX_SPD_SYSCLK_GET(pixis_spd));
e500_sys_clk = pixis_spd_map[PX_SPD_SYSCLK_GET(pixis_spd)];
printf(" pixis_sysclk=%u", pixis_spd_map[PX_SPD_SYSCLK_GET(pixis_spd)]);