Searched defs:l4_uint64_t (Results 1 – 2 of 2) sorted by relevance
42 typedef unsigned long long l4_uint64_t; /**< Unsigned 64bit value. \ingroup l4_basic_types */ typedef
52 int op_msi_info(L4::Icu::Rights, l4_umword_t, l4_uint64_t, in op_msi_info() argument
Completed in 7 milliseconds