Searched refs:vmidmt (Results 1 – 3 of 3) sorted by relevance
17 PLAT_INCLUDES += -I$(PLAT_DRIVERS_PATH)/accesscontrol/vmidmt \18 -I$(PLAT_DRIVERS_PATH)/accesscontrol/vmidmt/${CHIPSET} \20 BL31_SOURCES += $(PLAT_DRIVERS_PATH)/accesscontrol/vmidmt/vmidmt.c \21 $(PLAT_DRIVERS_PATH)/accesscontrol/vmidmt/vmidmt_hal.c \22 $(PLAT_DRIVERS_PATH)/accesscontrol/vmidmt/${CHIPSET}/vmidmt_static_config.c
215 static void log_error(enum hal_vmidmt_instance vmidmt) in log_error() argument220 cfg = get_info_cfg(vmidmt); in log_error()222 WARN("Unknown Port: 0x%X\n", vmidmt); in log_error()227 WARN("VMIDMT ERROR: VMIDMT %d discarded error\n", vmidmt); in log_error()254 if (row->vmidmt != HAL_VMIDMT_COUNT) in log_errors()255 log_error(row->vmidmt); in log_errors()
28 uint8_t vmidmt; /* Corresponding HAL VMIDMT index */ member