Searched refs:firmware_64_32bit (Results 1 – 1 of 1) sorted by relevance
328 static int firmware_64_32bit; variable364 if (firmware_64_32bit == FIRMWARE_ATF_64BIT) { in sip_fiq_debugger_get_pt_regs()675 firmware_64_32bit = FIRMWARE_TEE_32BIT; in sip_firmware_init()678 firmware_64_32bit = FIRMWARE_ATF_64BIT; in sip_firmware_init()