--- /dev/null
+#include <stdio.h>
+#include <stdint.h>
+#define _GNU_SOURCE /* See feature_test_macros(7) */
+#include <unistd.h>
+#include <sys/syscall.h> /* For SYS_xxx definitions */
+
+#ifndef SYS_prem_guard_set
+#define SYS_prem_guard_set 792
+#endif
+
+
+unsigned long prem_guard_set(unsigned long arg1,
+ unsigned long arg2,
+ unsigned long arg3)
+{
+ return syscall(SYS_prem_guard_set, arg1, arg2, arg3);
+}
+
+int main(int argc, char *argv[])
+{
+ printf("hvc result: %lu\n", prem_guard_set(11, 22, 33));
+ return 0;
+}