Etienne Carriere 6d9768079c Drivers/OpTee: address cast build warning issue in 32b mode 2 years ago
..
OpteeRpmbPkg 6d9768079c Drivers/OpTee: address cast build warning issue in 32b mode 2 years ago