Searched refs:TEE_LOAD_ADDR (Results 1 – 1 of 1) sorted by relevance
10 [ -z "$TEE_LOAD_ADDR" ] && TEE_LOAD_ADDR="0xfe000000"83 load = <$TEE_LOAD_ADDR>;84 entry = <$TEE_LOAD_ADDR>;