Searched refs:UInt (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/plat/linux/
H A Dabstract-defns.h21 typedef unsigned int UInt; typedef
/seL4-camkes-master/tools/cogent/cogent/lib/c/linux/
H A Dabstract-defns.h20 typedef unsigned int UInt; typedef

Completed in 28 milliseconds