/*** Non-secure callable functions ***/
extern int nsc_func1(int x);