.section .text.tlb_probe,"ax"
.balign 4
.global __turkos_replace_l3_probe
__turkos_replace_l3_probe:
    // x0: owned L3 slot, x1: VA[55:12] and ASID 0, x2: new data descriptor.
    // Break-before-make: no observer may keep the old valid translation while
    // the replacement becomes visible. This isolated probe runs on one PE.
    str xzr, [x0]
    dsb ishst
    tlbi vae1is, x1
    dsb ish
    isb
    str x2, [x0]
    dsb ishst
    isb
    ret