Se api

Just for preview. Please don't merge it.
This file is also used by tee_svc_se.c.