Searched refs:aAligned (Results 1 – 1 of 1) sorted by relevance
1001 Addr aAligned = VG_ROUNDDN(a, BYTES_PER_SEC_VBIT_NODE); in get_sec_vbits8() local1003 SecVBitNode* n = VG_(OSetGen_Lookup)(secVBitTable, &aAligned); in get_sec_vbits8()1005 tl_assert2(n, "get_sec_vbits8: no node for address %p (%p)\n", aAligned, a); in get_sec_vbits8()1015 Addr aAligned = VG_ROUNDDN(a, BYTES_PER_SEC_VBIT_NODE); in set_sec_vbits8() local1017 SecVBitNode* n = VG_(OSetGen_Lookup)(secVBitTable, &aAligned); in set_sec_vbits8()1034 n->a = aAligned; in set_sec_vbits8()