Searched refs:arm64_switch_amp_pe (Results 1 – 3 of 3) sorted by relevance
32 int arm64_switch_amp_pe(bootm_headers_t *images);
388 es_flag = arm64_switch_amp_pe(images); in boot_jump_linux()
532 int arm64_switch_amp_pe(bootm_headers_t *images) in arm64_switch_amp_pe() function