Type Definition panda_sys::tcg_target_ulong

type tcg_target_ulong = u64;