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