OP-TEE/optee_os — pull request #107 by pascal-brand-st-dev (2014-11-06 15:57:43+00:00)
Title: core_tlb_maintenance(TLBINV_BY_ASID) is on

It also contains code style cleanup

Signed-off-by: Pascal Brand