OP-TEE/optee_os — pull request #110 by pascal-brand-st-dev (2014-11-07 09:57:15+00:00)
Title: Clean cache_l1 and cache_l2 maintenance

L1 cache maintenance is using Virtual Memory, wherease cache L2 maintenance
uses Physical Memory

Signed-off-by: Pascal Brand