git01.mediatek.com / filogic / atf / 688e773f1ad8bd2f911125680a4bad89a3d6a907 / services / std_svc / sdei / sdei_private.h