Home
last modified time | relevance | path

Searched refs:TLBI_ADDR (Results 1 – 4 of 4) sorted by relevance

/device/linaro/bootloader/arm-trusted-firmware/lib/xlat_tables_v2/aarch32/
Dxlat_tables_arch.c38 tlbimvaais(TLBI_ADDR(va)); in xlat_arch_tlbi_va()
49 tlbimvaais(TLBI_ADDR(va)); in xlat_arch_tlbi_va_regime()
/device/linaro/bootloader/arm-trusted-firmware/lib/xlat_tables_v2/aarch64/
Dxlat_tables_arch.c108 tlbivaae1is(TLBI_ADDR(va)); in xlat_arch_tlbi_va_regime()
112 tlbivae3is(TLBI_ADDR(va)); in xlat_arch_tlbi_va_regime()
/device/linaro/bootloader/arm-trusted-firmware/include/lib/aarch32/
Darch.h364 #define TLBI_ADDR(x) (((x) >> TLBI_ADDR_SHIFT) & TLBI_ADDR_MASK) macro
/device/linaro/bootloader/arm-trusted-firmware/include/lib/aarch64/
Darch.h489 #define TLBI_ADDR(x) (((x) >> TLBI_ADDR_SHIFT) & TLBI_ADDR_MASK) macro