Stale TLB entries after demand-paging page-out let arm64 user threads access reused physical frames

{
                    "vendor": "zephyrproject",
                    "product": "zephyr",
                    "collectionURL": "https://github.com/zephyrproject-rtos/zephyr",
                    "packageName": "zephyr",
                    "defaultStatus": "unaffected",
                    "programFiles": [
                        "arch/arm64/core/mmu.c"
                    ],
                    "programRoutines": [
                        {
                            "name": "arch_mem_page_out"
                        },
                        {
                            "name": "invalidate_tlb_page"
                        }
                    ],
                    "versions": [
                        {
                            "version": "4.3.0",
                            "status": "affected",
                            "lessThan": "4.5.0",
                            "versionType": "semver"
                        }
                    ]
                }