platform-early_boot.inc

    /*
     * The shadow memory may not be zeroed; ensure it is before we start or
     * random capability loads will fail.
     *
     * boot.S will have ensured that ca4 holds the RW root cap at this point,
     * and provides the .Lfill_block symbol.
     */
    la_abs     a0, __export_mem_shadow
    csetaddr   ca0, ca4, a0
    la_abs     a1, __export_mem_shadow_end
.Lzero_shadow:
    csc        c0, 0(ca0)
    cincoffset ca0, ca0, 8
    bltu       a0, a1, .Lzero_shadow