switch arm_smmu to tk1_smmu

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>

asserts on seL4_Errors now use test_error_eq

changed test_asserts that check seL4_Errors
to use test_error_eq to output errors in failed cases
that would otherwise be suppressed in a
KernelInvocationReportErrorIPC build config

Trivial: style fix

make the style checker happy

Changes for removal of seL4_CapData_t type in libsel4

This updates sel4test to not use what are now deprecated functions and types by following
the upgrade notes in the kernel CHANGES file.

SELFOUR-1083 refactor tests because DEFINE_TEST_MAYBE was renamed to DEFINE_TEST

tests: correct usage of macros

s/test_assert_fatal/test_assert: none of these tests should require the
test suite to abort in their current state as they are running in a
different process.

Fix cases where test_assert would return a value from a void function as
appropriate.

Fix whitespace

- remove trailing whitespace
- remove double blank lines
- remove blank lines at end of file

Fix licenses

SELFOUR-192: remove recycle, add cancelSends

x86: modify IOMMU test cases to match master kernel

arm: add test cases for IOSpace caps.

Rename IA32->X86 to avoid deprecated usage warnings

Remove 'args' parameter to test cases.

This commit removes the state parameter to test cases, which was unused in all
tests. In three years, no test has required this parameter. I think it's time
to ditch this dead weight. It can be reintroduced if necessary later.

Note that this change is interdependent with changes to libsel4test.

bandaid to get sel4test to output the correct number of tests passing

Release snapshot