AlphaGitHub
Source/Packages

Platform.AArch64.TelemetrySeal

packages/hardware/platforms/dgx-spark/src/Platform/AArch64/TelemetrySeal.alpha

23 lines2 declarations0.8 KiBSHA-256 e263a78a9d07
Download exact fileView at revisionbcc11a4e7647d31628

Complete file · line 14

TelemetrySeal.alpha

Definition view
1module Platform.AArch64.TelemetrySeal
2
3import Compiler.MachineAArch64
4import Compiler.MachineAArch64Assembly
5import Platform.AArch64.WordDigest
6import Runtime.TelemetrySeal
7
8def aarch64TelemetrySealAssembly : (family AArch64Assembly) =
9  (telemetrySealAssemblyFor
10    (family AArch64Assembly)
11    (family AArch64Register)
12    aarch64WordDigestBackend)
13
14def aarch64TelemetrySealRoutine : Bytes =
15  (eliminate
16    AArch64AssemblyResult
17    (lambda unrestricted result : (family AArch64AssemblyResult) . Bytes)
18    (aarch64Assemble aarch64TelemetrySealAssembly)
19    (branch AArch64AssemblyEncoded code . code)
20    (branch AArch64AssemblyEncodeDuplicateLabel name . b"")
21    (branch AArch64AssemblyMissingLabel name . b"")
22    (branch AArch64AssemblyDisplacementOutOfRange name . b"")
23    (branch AArch64AssemblyOperandRefused value . b""))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.