Commit 8753687b authored by Sarah Spall's avatar Sarah Spall Committed by Vikram Narayanan

some old new test files

parent 425c868f
projection super_block <struct super_block> {
[out,in] int field1;
[out] char field2;
\ No newline at end of file
rpc int foo(capability cpa, char v1, int v2);
rpc int bar(projection super_block *rp);
\ No newline at end of file
projection test<struct device> {
[in] projection other *sb;
[in,out,bind,alloc] int t;
[out] char t2;
[bind] capability t3;
[alloc] long long t4;
[in] unsigned long long t5;
[in] unsigned long t6;
typedef <struct foo, long long> foo_t
typedef<projection bar, long long> bar_t
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment