.section .text.task_guard,"ax"
.balign 128
.global __task_guard_sync_entry
__task_guard_sync_entry:
    // An EL1t task used SP_EL0. On same-EL synchronous entry the hardware
    // selects the boot/handler SP_EL1 before this first instruction. The
    // interrupted task is abandoned; no write is made to its overflowed SP.
    mrs x0, ESR_EL1
    mrs x1, FAR_EL1
    mrs x2, ELR_EL1
    mrs x3, SP_EL0
    mrs x4, SPSR_EL1
    mov x5, sp
    b kernel_task_guard_exception