| /* |
| * Copyright (c) 2024, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #ifndef TEST_THE_H |
| #define TEST_THE_H |
| |
| #define RCWMASK_EL1_MASK_HIGH 0x807BE01FF8000000 |
| #define RCWMASK_EL1_MASK_LOW 0xFFEC00000003FFFE |
| #define RCWMASK_EL1_MASK_FULL \ |
| (((uint128_t)RCWMASK_EL1_MASK_HIGH) << 64U | RCWMASK_EL1_MASK_LOW) |
| |
| #define RCWSMASK_EL1_MASK_HIGH 0x807BE01FF8000000 |
| #define RCWSMASK_EL1_MASK_LOW 0xFFFC00000003FFFE |
| #define RCWSMASK_EL1_MASK_FULL \ |
| (((uint128_t)RCWSMASK_EL1_MASK_HIGH) << 64U | RCWSMASK_EL1_MASK_LOW) |
| |
| #endif /* TEST_THE_H */ |