Searched refs:aAligned (Results 1 – 1 of 1) sorted by relevance
965 Addr aAligned = VG_ROUNDDN(a, BYTES_PER_SEC_VBIT_NODE); in get_sec_vbits8() local967 SecVBitNode* n = VG_(OSetGen_Lookup)(secVBitTable, &aAligned); in get_sec_vbits8()969 tl_assert2(n, "get_sec_vbits8: no node for address %p (%p)\n", aAligned, a); in get_sec_vbits8()979 Addr aAligned = VG_ROUNDDN(a, BYTES_PER_SEC_VBIT_NODE); in set_sec_vbits8() local981 SecVBitNode* n = VG_(OSetGen_Lookup)(secVBitTable, &aAligned); in set_sec_vbits8()993 n->a = aAligned; in set_sec_vbits8()