diff options
Diffstat (limited to 'payloads/libpayload/arch/arm64/lib/tlb.c')
-rw-r--r-- | payloads/libpayload/arch/arm64/lib/tlb.c | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/payloads/libpayload/arch/arm64/lib/tlb.c b/payloads/libpayload/arch/arm64/lib/tlb.c index d5afc1796b..d80783d4ee 100644 --- a/payloads/libpayload/arch/arm64/lib/tlb.c +++ b/payloads/libpayload/arch/arm64/lib/tlb.c @@ -52,7 +52,13 @@ void tlbiall_el3(void) void tlbiall_current(void) { - SWITCH_CASE_TLBI(tlbiall); + uint32_t el = get_current_el(); + tlbiall(el); +} + +void tlbiall(uint32_t el) +{ + SWITCH_CASE_TLBI(tlbiall, el); } /* TLBIALLIS */ @@ -73,7 +79,13 @@ void tlbiallis_el3(void) void tlbiallis_current(void) { - SWITCH_CASE_TLBI(tlbiallis); + uint32_t el = get_current_el(); + tlbiallis(el); +} + +void tlbiallis(uint32_t el) +{ + SWITCH_CASE_TLBI(tlbiallis, el); } /* TLBIVAA */ |