Lines Matching defs:addr
385 purifyTaggedAddr(Addr addr, ThreadContext *tc, ExceptionLevel el,
391 if (bits(addr, 55, 48) == 0xFF && tcr.tbi1)
392 return addr | mask(63, 55);
393 else if (!bits(addr, 55, 48) && tcr.tbi0)
394 return bits(addr,55, 0);
400 return addr & mask(56);
405 return addr & mask(56);
412 return addr; // Nothing to do if this is not a tagged address
416 purifyTaggedAddr(Addr addr, ThreadContext *tc, ExceptionLevel el)
424 if (bits(addr, 55, 48) == 0xFF && tcr.tbi1)
425 return addr | mask(63, 55);
426 else if (!bits(addr, 55, 48) && tcr.tbi0)
427 return bits(addr,55, 0);
433 return addr & mask(56);
439 return addr & mask(56);
446 return addr; // Nothing to do if this is not a tagged address
450 truncPage(Addr addr)
452 return addr & ~(PageBytes - 1);
456 roundPage(Addr addr)
458 return (addr + PageBytes - 1) & ~(PageBytes - 1);