#!/bin/sh
# Runs copy_to/from_user infrastructure using test_user_copy kernel module

if /sbin/modprobe -q test_user_copy {
	/sbin/modprobe -q -r test_user_copy
	echo "user_copy: ok"
} else {
	echo "user_copy: [FAIL]"
	exit 1
}
(CommandList
  children: [
    (If
      arms: [
        (if_arm
          cond: [
            (Sentence
              child: (C {(/sbin/modprobe)} {(-q)} {(test_user_copy)})
              terminator: <Op_Semi ";">
            )
          ]
          action: [
            (C {(/sbin/modprobe)} {(-q)} {(-r)} {(test_user_copy)})
            (C {(echo)} {(DQ ("user_copy: ok"))})
          ]
          spids: [-1 16]
        )
      ]
      else_action: [(C {(echo)} {(DQ ("user_copy: [FAIL]"))}) (C {(exit)} {(1)})]
      spids: [34 48]
    )
  ]
)