get_arch_id (reference) in projects: optee_os

Searched refs:get_arch_id (Results 1 – 1 of 1) sorted by relevance

/optee_os/scripts/
H A D	gen_tee_bin.py	`55 def get_arch_id(elffile): function 154 if get_arch_id(elffile) == 0: 276 arch_id = get_arch_id(elffile) 306 arch_id = get_arch_id(elffile)`