package core_extended

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val iter : cpu_t -> user:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> unit) -> nice:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> unit) -> sys:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> unit) -> idle:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> unit) -> iowait: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> unit) -> irq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> unit) -> softirq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> unit) -> steal: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> unit) -> guest: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> unit) -> unit
val fold : cpu_t -> init:'acc__0 -> user: ('acc__0 -> (cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> 'acc__1) -> nice: ('acc__1 -> (cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> 'acc__2) -> sys: ('acc__2 -> (cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> 'acc__3) -> idle: ('acc__3 -> (cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> 'acc__4) -> iowait: ('acc__4 -> (cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'acc__5) -> irq: ('acc__5 -> (cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'acc__6) -> softirq: ('acc__6 -> (cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'acc__7) -> steal: ('acc__7 -> (cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'acc__8) -> guest: ('acc__8 -> (cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'acc__9) -> 'acc__9
val for_all : cpu_t -> user:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bool) -> nice:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bool) -> sys:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bool) -> idle:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bool) -> iowait: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> irq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> softirq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> steal: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> guest: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> bool
val exists : cpu_t -> user:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bool) -> nice:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bool) -> sys:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bool) -> idle:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bool) -> iowait: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> irq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> softirq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> steal: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> guest: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bool) -> bool
val to_list : cpu_t -> user:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> 'elem__) -> nice:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> 'elem__) -> sys:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> 'elem__) -> idle:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> 'elem__) -> iowait: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'elem__) -> irq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'elem__) -> softirq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'elem__) -> steal: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'elem__) -> guest: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> 'elem__) -> 'elem__ list
val map : cpu_t -> user:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bigint) -> nice:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bigint) -> sys:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bigint) -> idle:((cpu_t, bigint) Fieldslib.Field.t -> cpu_t -> bigint -> bigint) -> iowait: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bigint option) -> irq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bigint option) -> softirq: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bigint option) -> steal: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bigint option) -> guest: ((cpu_t, bigint option) Fieldslib.Field.t -> cpu_t -> bigint option -> bigint option) -> cpu_t
val set_all_mutable_fields : cpu_t -> unit
OCaml

Innovation. Community. Security.