354def nativePhysicalOperationCounts =
355 (lambda unrestricted operation : (family NativePhysicalOperation) .
356 (eliminate
357 NativePhysicalOperation
358 (lambda unrestricted current : (family NativePhysicalOperation) .
359 (family NativePhysicalCounts))
360 operation
361 (branch
362 NativePhysicalSystemCall
363 number
364 arguments
365 payload
366 result
367 .
368 (constructor
369 NativePhysicalCounts
370 NativePhysicalCountsValue
371 (succ zero)
372 (succ zero)
373 zero
374 zero
375 zero
376 zero
377 zero
378 zero
379 (bytes-length payload)))
380 (branch
381 NativePhysicalCopyPayloadToState
382 destination
383 extent
384 payload
385 .
386 (constructor
387 NativePhysicalCounts
388 NativePhysicalCountsValue
389 (succ zero)
390 zero
391 (succ zero)
392 zero
393 zero
394 zero
395 zero
396 zero
397 (bytes-length payload)))
398 (branch
399 NativePhysicalMachineRoutine
400 code
401 arguments
402 result
403 .
404 (constructor
405 NativePhysicalCounts
406 NativePhysicalCountsValue
407 (succ zero)
408 zero
409 zero
410 (succ zero)
411 zero
412 zero
413 zero
414 zero
415 (bytes-length code)))
416 (branch
417 NativePhysicalFencePoll
418 address
419 expected
420 maximumPolls
421 .
422 (constructor
423 NativePhysicalCounts
424 NativePhysicalCountsValue
425 (succ zero)
426 zero
427 zero
428 zero
429 (succ zero)
430 zero
431 zero
432 zero
433 zero))
434 (branch
435 NativePhysicalTelemetryAppend
436 path
437 record
438 .
439 (constructor
440 NativePhysicalCounts
441 NativePhysicalCountsValue
442 (succ zero)
443 zero
444 zero
445 zero
446 zero
447 (succ zero)
448 zero
449 zero
450 (naturalAdd (bytes-length path) (bytes-length record))))
451 (branch
452 NativePhysicalAssertEqual
453 left
454 right
455 error
456 .
457 (constructor
458 NativePhysicalCounts
459 NativePhysicalCountsValue
460 (succ zero)
461 zero
462 zero
463 zero
464 zero
465 zero
466 (succ zero)
467 zero
468 zero))
469 (branch
470 NativePhysicalAssertOneOf
471 observed
472 first
473 second
474 error
475 .
476 (constructor
477 NativePhysicalCounts
478 NativePhysicalCountsValue
479 (succ zero)
480 zero
481 zero
482 zero
483 zero
484 zero
485 (succ zero)
486 zero
487 zero))
488 (branch
489 NativePhysicalHaltSuccess
490 .
491 (constructor
492 NativePhysicalCounts
493 NativePhysicalCountsValue
494 (succ zero)
495 zero
496 zero
497 zero
498 zero
499 zero
500 zero
501 (succ zero)
502 zero))
503 (branch
504 NativePhysicalRepeatBegin
505 count
506 .
507 (constructor NativePhysicalCounts NativePhysicalCountsValue
508 (succ zero) zero zero zero zero zero zero zero zero))
509 (branch
510 NativePhysicalRepeatEnd
511 .
512 (constructor NativePhysicalCounts NativePhysicalCountsValue
513 (succ zero) zero zero zero zero zero zero zero zero))
514 (branch
515 NativePhysicalStoreWord64
516 destination
517 value
518 .
519 (constructor NativePhysicalCounts NativePhysicalCountsValue
520 (succ zero) zero zero zero zero zero zero zero zero))
521 (branch
522 NativePhysicalFenceWait
523 address
524 expected
525 maximumPolls
526 interval
527 .
528 (constructor NativePhysicalCounts NativePhysicalCountsValue
529 (succ zero) zero zero zero zero zero zero zero zero))
530 (branch NativePhysicalRepeatBeginCounted count .
531 (constructor NativePhysicalCounts NativePhysicalCountsValue
532 (succ zero) zero zero zero zero zero zero zero zero))
533 (branch NativePhysicalAddWord64 destination left right .
534 (constructor NativePhysicalCounts NativePhysicalCountsValue
535 (succ zero) zero zero zero zero zero zero zero zero))
536 (branch NativePhysicalFloat64 operation destination left right .
537 (constructor NativePhysicalCounts NativePhysicalCountsValue
538 (succ zero) zero zero zero zero zero zero zero zero))))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.