tree: e0151d42a6de1110529e8e2c7bc462d3c9b3b94f
  1. optee.h
  2. optee_ta_avb.h