Etienne Carriere 6d9768079c Drivers/OpTee: address cast build warning issue in 32b mode il y a 2 ans
..
OpteeRpmbPkg 6d9768079c Drivers/OpTee: address cast build warning issue in 32b mode il y a 2 ans