/*
 * int ppc_rtas(struct rtas_args __user *uargs)
 */
#include "sanitise.h"

struct syscallentry syscall_rtas = {
	.name = "rtas",
	.num_args = 1,
	.arg1name = "uargs",
	.arg1type = ARG_ADDRESS,
};

.