817def bobNativeHostELFWithIdentitySource =
818 (lambda unrestricted source : (family NativeTelemetryIdentitySource) .
819 (lambda unrestricted hostWriter : (pi unrestricted program : (family NativePhysicalProgram) . Bytes) .
820 (lambda unrestricted productIdentity : Bytes .
821 (lambda unrestricted programIdentity : Bytes .
822 (lambda unrestricted qmdIdentity : Bytes .
823 (lambda unrestricted pushIdentity : Bytes .
824 (lambda unrestricted gpfifoIdentity : Bytes .
825 (lambda unrestricted programLength : Nat .
826 (lambda unrestricted qmdLength : Nat .
827 (lambda unrestricted pushLength : Nat .
828 (lambda unrestricted gpfifoLength : Nat .
829 (lambda unrestricted qmdExpanded : Nat .
830 (lambda unrestricted pushExpanded : Nat .
831 (lambda unrestricted gpfifoExpanded : Nat .
832 (lambda unrestricted realized : (family BobRealizedTables) .
833 (nat-eliminate
834 (lambda unrestricted admitted : Nat . Bytes)
835 b""
836 (lambda unrestricted predecessor : Nat .
837 (lambda unrestricted induction : Bytes .
838 (hostWriter
839 (nvidiaPlanHostManagedRequestProgramWithBoundary
840 bobNativeCaptureBoundary
841 source
842 bobNativeRequestCapturePlan
843 (bobHostLayout productIdentity qmdExpanded pushExpanded)
844 productIdentity
845 programIdentity
846 qmdIdentity
847 pushIdentity
848 gpfifoIdentity
849 programLength
850 qmdLength
851 pushLength
852 gpfifoLength
853 bobSubmissionCount
854 (constructor
855 NvidiaPlanHostInputContract
856 NvidiaPlanHostInputExact
857 bobInputRecordBytes)
858 bobCheckpointContract
859 (bobRecipeFills qmdExpanded pushExpanded gpfifoExpanded)
860 (bobHostLearner
861 (bobHostLayout productIdentity qmdExpanded pushExpanded)
862 (bobRealizedAddresses realized))
863 bobHostSteps))))
864 (bobHostAdmitted qmdExpanded pushExpanded gpfifoExpanded realized)))))))))))))))))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.