Module Fields

val names : string list

val vmalloc_chunk : (t, bigint) Fieldslib.Field.t

val vmalloc_used : (t, bigint) Fieldslib.Field.t

val vmalloc_total : (t, bigint) Fieldslib.Field.t

val committed_as : (t, bigint) Fieldslib.Field.t

val commit_limit : (t, bigint) Fieldslib.Field.t

val bounce : (t, bigint) Fieldslib.Field.t

val nfs_unstable : (t, bigint) Fieldslib.Field.t

val page_tables : (t, bigint) Fieldslib.Field.t

val slab : (t, bigint) Fieldslib.Field.t

val mapped : (t, bigint) Fieldslib.Field.t

val anon_pages : (t, bigint) Fieldslib.Field.t

val writeback : (t, bigint) Fieldslib.Field.t

val dirty : (t, bigint) Fieldslib.Field.t

val swap_free : (t, bigint) Fieldslib.Field.t

val swap_total : (t, bigint) Fieldslib.Field.t

val inactive : (t, bigint) Fieldslib.Field.t

val active : (t, bigint) Fieldslib.Field.t

val swap_cached : (t, bigint) Fieldslib.Field.t

val cached : (t, bigint) Fieldslib.Field.t

val buffers : (t, bigint) Fieldslib.Field.t

val mem_free : (t, bigint) Fieldslib.Field.t

val mem_total : (t, bigint) Fieldslib.Field.t

val fold : init:'acc__ -> mem_total:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> mem_free:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> buffers:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> cached:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> swap_cached:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> active:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> inactive:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> swap_total:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> swap_free:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> dirty:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> writeback:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> anon_pages:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> mapped:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> slab:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> page_tables:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> nfs_unstable:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> bounce:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> commit_limit:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> committed_as:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> vmalloc_total:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> vmalloc_used:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> vmalloc_chunk:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> 'acc__

val make_creator : mem_total:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> mem_free:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> buffers:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> cached:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> swap_cached:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> active:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> inactive:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> swap_total:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> swap_free:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> dirty:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> writeback:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> anon_pages:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> mapped:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> slab:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> page_tables:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> bounce:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> commit_limit:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> committed_as:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> 'compile_acc__ -> ('input__ -> t) * 'compile_acc__

val create : mem_total:bigint -> mem_free:bigint -> buffers:bigint -> cached:bigint -> swap_cached:bigint -> active:bigint -> inactive:bigint -> swap_total:bigint -> swap_free:bigint -> dirty:bigint -> writeback:bigint -> anon_pages:bigint -> mapped:bigint -> slab:bigint -> page_tables:bigint -> nfs_unstable:bigint -> bounce:bigint -> commit_limit:bigint -> committed_as:bigint -> vmalloc_total:bigint -> vmalloc_used:bigint -> vmalloc_chunk:bigint -> t

val map : mem_total:((t, bigint) Fieldslib.Field.t -> bigint) -> mem_free:((t, bigint) Fieldslib.Field.t -> bigint) -> buffers:((t, bigint) Fieldslib.Field.t -> bigint) -> cached:((t, bigint) Fieldslib.Field.t -> bigint) -> swap_cached:((t, bigint) Fieldslib.Field.t -> bigint) -> active:((t, bigint) Fieldslib.Field.t -> bigint) -> inactive:((t, bigint) Fieldslib.Field.t -> bigint) -> swap_total:((t, bigint) Fieldslib.Field.t -> bigint) -> swap_free:((t, bigint) Fieldslib.Field.t -> bigint) -> dirty:((t, bigint) Fieldslib.Field.t -> bigint) -> writeback:((t, bigint) Fieldslib.Field.t -> bigint) -> anon_pages:((t, bigint) Fieldslib.Field.t -> bigint) -> mapped:((t, bigint) Fieldslib.Field.t -> bigint) -> slab:((t, bigint) Fieldslib.Field.t -> bigint) -> page_tables:((t, bigint) Fieldslib.Field.t -> bigint) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> bigint) -> bounce:((t, bigint) Fieldslib.Field.t -> bigint) -> commit_limit:((t, bigint) Fieldslib.Field.t -> bigint) -> committed_as:((t, bigint) Fieldslib.Field.t -> bigint) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> bigint) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> bigint) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> bigint) -> t

val iter : mem_total:((t, bigint) Fieldslib.Field.t -> unit) -> mem_free:((t, bigint) Fieldslib.Field.t -> unit) -> buffers:((t, bigint) Fieldslib.Field.t -> unit) -> cached:((t, bigint) Fieldslib.Field.t -> unit) -> swap_cached:((t, bigint) Fieldslib.Field.t -> unit) -> active:((t, bigint) Fieldslib.Field.t -> unit) -> inactive:((t, bigint) Fieldslib.Field.t -> unit) -> swap_total:((t, bigint) Fieldslib.Field.t -> unit) -> swap_free:((t, bigint) Fieldslib.Field.t -> unit) -> dirty:((t, bigint) Fieldslib.Field.t -> unit) -> writeback:((t, bigint) Fieldslib.Field.t -> unit) -> anon_pages:((t, bigint) Fieldslib.Field.t -> unit) -> mapped:((t, bigint) Fieldslib.Field.t -> unit) -> slab:((t, bigint) Fieldslib.Field.t -> unit) -> page_tables:((t, bigint) Fieldslib.Field.t -> unit) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> unit) -> bounce:((t, bigint) Fieldslib.Field.t -> unit) -> commit_limit:((t, bigint) Fieldslib.Field.t -> unit) -> committed_as:((t, bigint) Fieldslib.Field.t -> unit) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> unit) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> unit) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> unit) -> unit

val for_all : mem_total:((t, bigint) Fieldslib.Field.t -> bool) -> mem_free:((t, bigint) Fieldslib.Field.t -> bool) -> buffers:((t, bigint) Fieldslib.Field.t -> bool) -> cached:((t, bigint) Fieldslib.Field.t -> bool) -> swap_cached:((t, bigint) Fieldslib.Field.t -> bool) -> active:((t, bigint) Fieldslib.Field.t -> bool) -> inactive:((t, bigint) Fieldslib.Field.t -> bool) -> swap_total:((t, bigint) Fieldslib.Field.t -> bool) -> swap_free:((t, bigint) Fieldslib.Field.t -> bool) -> dirty:((t, bigint) Fieldslib.Field.t -> bool) -> writeback:((t, bigint) Fieldslib.Field.t -> bool) -> anon_pages:((t, bigint) Fieldslib.Field.t -> bool) -> mapped:((t, bigint) Fieldslib.Field.t -> bool) -> slab:((t, bigint) Fieldslib.Field.t -> bool) -> page_tables:((t, bigint) Fieldslib.Field.t -> bool) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> bool) -> bounce:((t, bigint) Fieldslib.Field.t -> bool) -> commit_limit:((t, bigint) Fieldslib.Field.t -> bool) -> committed_as:((t, bigint) Fieldslib.Field.t -> bool) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> bool) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> bool) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> bool) -> bool

val exists : mem_total:((t, bigint) Fieldslib.Field.t -> bool) -> mem_free:((t, bigint) Fieldslib.Field.t -> bool) -> buffers:((t, bigint) Fieldslib.Field.t -> bool) -> cached:((t, bigint) Fieldslib.Field.t -> bool) -> swap_cached:((t, bigint) Fieldslib.Field.t -> bool) -> active:((t, bigint) Fieldslib.Field.t -> bool) -> inactive:((t, bigint) Fieldslib.Field.t -> bool) -> swap_total:((t, bigint) Fieldslib.Field.t -> bool) -> swap_free:((t, bigint) Fieldslib.Field.t -> bool) -> dirty:((t, bigint) Fieldslib.Field.t -> bool) -> writeback:((t, bigint) Fieldslib.Field.t -> bool) -> anon_pages:((t, bigint) Fieldslib.Field.t -> bool) -> mapped:((t, bigint) Fieldslib.Field.t -> bool) -> slab:((t, bigint) Fieldslib.Field.t -> bool) -> page_tables:((t, bigint) Fieldslib.Field.t -> bool) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> bool) -> bounce:((t, bigint) Fieldslib.Field.t -> bool) -> commit_limit:((t, bigint) Fieldslib.Field.t -> bool) -> committed_as:((t, bigint) Fieldslib.Field.t -> bool) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> bool) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> bool) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> bool) -> bool

val to_list : mem_total:((t, bigint) Fieldslib.Field.t -> 'elem__) -> mem_free:((t, bigint) Fieldslib.Field.t -> 'elem__) -> buffers:((t, bigint) Fieldslib.Field.t -> 'elem__) -> cached:((t, bigint) Fieldslib.Field.t -> 'elem__) -> swap_cached:((t, bigint) Fieldslib.Field.t -> 'elem__) -> active:((t, bigint) Fieldslib.Field.t -> 'elem__) -> inactive:((t, bigint) Fieldslib.Field.t -> 'elem__) -> swap_total:((t, bigint) Fieldslib.Field.t -> 'elem__) -> swap_free:((t, bigint) Fieldslib.Field.t -> 'elem__) -> dirty:((t, bigint) Fieldslib.Field.t -> 'elem__) -> writeback:((t, bigint) Fieldslib.Field.t -> 'elem__) -> anon_pages:((t, bigint) Fieldslib.Field.t -> 'elem__) -> mapped:((t, bigint) Fieldslib.Field.t -> 'elem__) -> slab:((t, bigint) Fieldslib.Field.t -> 'elem__) -> page_tables:((t, bigint) Fieldslib.Field.t -> 'elem__) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> 'elem__) -> bounce:((t, bigint) Fieldslib.Field.t -> 'elem__) -> commit_limit:((t, bigint) Fieldslib.Field.t -> 'elem__) -> committed_as:((t, bigint) Fieldslib.Field.t -> 'elem__) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> 'elem__) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> 'elem__) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> 'elem__) -> 'elem__ list

val map_poly : ([< ], t, 'x0) Fieldslib.Field.user -> 'x0 list