tree b2e762b9a073d76366abc05d978f3ef18dcc6819
parent 3d21c9452d4d5e17f545848bc4641274cdd6aa26
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1488279505 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1492508162 +0100

TZC: rename included C file to a header

C files shouldn't be included into others. This file only contains some
macros and functions that can be made `static inline`, so it is ok to
convert it into a header file.

This is the only occurrence of a C file being included in another one in
the codebase instead of using a header, other occurrences are a way of
achieving backwards-compatibility.

Functions therein have been qualified as `inline`.

Change-Id: I88fe300f6d85a7f0740ef14c9cb8fa54849218e6
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>