Searched refs:tfa_handoff_addr (Results 1 – 3 of 3) sorted by relevance
77 uint64_t tfa_handoff_addr; in bl31_early_platform_setup2() local126 tfa_handoff_addr = (uintptr_t)&addr; in bl31_early_platform_setup2()129 tfa_handoff_addr = mmio_read_32(PMC_GLOBAL_GLOB_GEN_STORAGE4); in bl31_early_platform_setup2()134 tfa_handoff_addr); in bl31_early_platform_setup2()
100 uint64_t tfa_handoff_addr; in bl31_early_platform_setup2() local133 tfa_handoff_addr = (uint64_t)mmio_read_32(PMU_GLOBAL_GEN_STORAGE6); in bl31_early_platform_setup2()141 tfa_handoff_addr); in bl31_early_platform_setup2()
96 uint64_t tfa_handoff_addr, buff[HANDOFF_PARAMS_MAX_SIZE] = {0}; in bl31_early_platform_setup2() local159 tfa_handoff_addr = (uintptr_t)&buff; in bl31_early_platform_setup2()162 tfa_handoff_addr); in bl31_early_platform_setup2()