OCTEON_IS_OCTEON2
if (start > 0x410000000ull && !OCTEON_IS_OCTEON2())
if (OCTEON_IS_OCTEON2() && max_addr >= 0x100000000ul)
if (OCTEON_IS_OCTEON2())
if ((OCTEON_IS_OCTEON2() || OCTEON_IS_OCTEON3())
OCTEON_IS_OCTEON2() || OCTEON_IS_OCTEON3()) {
if (!OCTEON_IS_OCTEON2())
if (OCTEON_IS_OCTEON2()) {
if (OCTEON_IS_OCTEON2())