Searched refs:TEE_LOAD_ADDR (Results 1 – 1 of 1) sorted by relevance
10 [ -z "$TEE_LOAD_ADDR" ] && TEE_LOAD_ADDR="0xfe000000"102 load = <$TEE_LOAD_ADDR>;103 entry = <$TEE_LOAD_ADDR>;
Completed in 2 milliseconds