Searched refs:_Pre_satisfies_ (Results 1 – 6 of 6) sorted by relevance
182 _When_(precision_arg <= 0, _Pre_satisfies_(_Curr_ > 9)) \183 _When_(precision_arg > 0, _Pre_satisfies_(_Curr_ > 9 + precision_arg))201 _When_((digits > 0), _In_ _Pre_satisfies_(buffer_count > digits + 1))202 _When_((digits <= 0), _In_ _Pre_satisfies_(buffer_count > 1))
63 #undef _Pre_satisfies_64 #define _Pre_satisfies_(e) macro
355 _In_ _Pre_satisfies_((buffer_size % 2) == 0) unsigned const buffer_size in _In_reads_()
587 #define _Pre_satisfies_(cond) _SAL2_Source_(_Pre_satisfies_, (cond), _Pre_satisfies_impl_(con… macro
713 static NTSTATUS prepare_raid0_write(_Pre_satisfies_(_Curr_->chunk_item->num_stripes>0) _In_ chunk* …843 static NTSTATUS prepare_raid10_write(_Pre_satisfies_(_Curr_->chunk_item->sub_stripes>0&&_Curr_->chu…
3754 …_In_ _Pre_satisfies_(MemoryFlags == 0 || MemoryFlags == NDIS_MEMORY_NONCACHED || MemoryFlags == ND…