Searched refs:psversion (Results 1 – 3 of 3) sorted by relevance
21 uint32_t platform_id, platform_version, rtlversion, psversion, pmcversion; variable81 psversion = FIELD_GET((uint32_t)PS_VERSION, version_type); in board_detection()
44 extern uint32_t rtlversion, psversion, pmcversion;
162 (psversion >> 1), psversion % 10U, in bl31_early_platform_setup2()