Searched refs:SVal_NOACCESS (Results 1 – 2 of 2) sorted by relevance
134 #define SVal_NOACCESS (2ULL << 62) macro1082 lineZ->dict[0] = SVal_NOACCESS; in clear_LineF_of_Z()5457 tl_assert(svOld == SVal_NOACCESS); in msmcread()5458 svNew = SVal_NOACCESS; in msmcread()5530 tl_assert(svOld == SVal_NOACCESS); in msmcwrite()5531 svNew = SVal_NOACCESS; in msmcwrite()7104 lineZ->dict[0] = SVal_NOACCESS; in zsm_secmap_line_range_noaccess()7277 SVal sv = SVal_NOACCESS; in libhb_srange_noaccess_AHAE()7326 sv = SVal_NOACCESS; in libhb_srange_get_abits()7341 if (sv == SVal_NOACCESS) { in libhb_srange_get_abits()[all …]