Se api

Just for preview. Please don't merge it.
Link to ARM's page, i.e. [TZC 400](http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0504c/index.html)