| /** |
| * Copyright (c) 2021 Raspberry Pi (Trading) Ltd. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| // ============================================================================= |
| // Register block : TBMAN |
| // Version : 1 |
| // Bus type : apb |
| // Description : Testbench manager. Allows the programmer to know what |
| // platform their software is running on. |
| // ============================================================================= |
| #ifndef HARDWARE_REGS_TBMAN_DEFINED |
| #define HARDWARE_REGS_TBMAN_DEFINED |
| // ============================================================================= |
| // Register : TBMAN_PLATFORM |
| // Description : Indicates the type of platform in use |
| #define TBMAN_PLATFORM_OFFSET 0x00000000 |
| #define TBMAN_PLATFORM_BITS 0x00000003 |
| #define TBMAN_PLATFORM_RESET 0x00000005 |
| // ----------------------------------------------------------------------------- |
| // Field : TBMAN_PLATFORM_FPGA |
| // Description : Indicates the platform is an FPGA |
| #define TBMAN_PLATFORM_FPGA_RESET 0x0 |
| #define TBMAN_PLATFORM_FPGA_BITS 0x00000002 |
| #define TBMAN_PLATFORM_FPGA_MSB 1 |
| #define TBMAN_PLATFORM_FPGA_LSB 1 |
| #define TBMAN_PLATFORM_FPGA_ACCESS "RO" |
| // ----------------------------------------------------------------------------- |
| // Field : TBMAN_PLATFORM_ASIC |
| // Description : Indicates the platform is an ASIC |
| #define TBMAN_PLATFORM_ASIC_RESET 0x1 |
| #define TBMAN_PLATFORM_ASIC_BITS 0x00000001 |
| #define TBMAN_PLATFORM_ASIC_MSB 0 |
| #define TBMAN_PLATFORM_ASIC_LSB 0 |
| #define TBMAN_PLATFORM_ASIC_ACCESS "RO" |
| // ============================================================================= |
| #endif // HARDWARE_REGS_TBMAN_DEFINED |
