code wiki / (root) / nx_fio_region_gate.nx

nx_fio_region_gate.nx

buildroot/runtime/nx_fio_region_gate.nx

46175 B578 linesdepth 18pulls 92 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

dependencies 7 imports · 0 importers

imports: nx_fio.nxnx_resource_arbiter.nxnx_file_install.nxnx_mgmt_data.nxnx_mgmt_api.nxnx_hostctl.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

structs

none

consts

const FRG_CASES: *u8="real-file-open-size\nrange-selection\nbounded-first-read\nbounded-final-read-closes\nclosed-read-is-eof\nidempotent-close\ninvalid-range-retains-session\ninvalid-buffer-retains-session\nfull-file-stream-by-caller-capacity\nmissing-file-cause\npremature-eof-counts-and-closes\npathname-replacement-retains-open-file\nsparse-offset-beyond-signed32\n"

functions

10	func frg_check(name: u8,ok: i64,count: i64) -> i64 { return gv_plan_check(frg_plan,name,ok,count) } called by 1: main calls 1: gv_plan_check
11	func frg_len(s: *u8) -> i64 { var n: i64=0;while s[n]!=(0 as u8) { n=n+1 };return n } called by 7: frg_prepare_checks frg_equals frg_replace_checks frg_absolute frg_install_checks frg_target_checks+1
12	func frg_file(path: u8,data: u8,n: i64) -> i64 called by 7: frg_prepare_checks frg_replace_checks frg_lock_checks frg_registered_checks frg_install_checks frg_target_checks+1 calls 1: fio_write_sync_fd
18	func frg_prepare_checks() -> i64 called by 1: main calls 11: gv_ctr frg_len frg_file fio_prepare_copy gv_check fio_region_init+5
50	func frg_equals(path: u8,expected: u8) -> i64 called by 5: frg_replace_checks frg_lock_checks frg_install_http_checks frg_registered_checks frg_install_checks calls 5: frg_len fio_region_init fio_region_open fio_region_next fio_region_close
60	func frg_replace_checks() -> i64 called by 1: main calls 13: gv_ctr frg_file frg_len fio_region_init fio_region_open fio_replace_with_backup+7
108	func frg_lock_checks() -> i64 called by 1: main calls 11: gv_ctr gv_plan_new fio_target_lock_init frg_file fio_target_lock_acquire gv_plan_check+5
156	func frg_absolute(name: u8) -> u8 called by 1: frg_install_checks calls 2: frg_len fi_copy
161	func frg_install_receipt_checks(parsed: NxInstallRequest,result: NxRegisteredInstallResult) -> i64 called by 1: frg_install_http_checks calls 11: gv_ctr gv_plan_new ma_install_receipt_emit gv_plan_check ma_find hc_puts+5
189	func frg_install_http_request(intent: u8,digest: u8) -> *u8 called by 1: frg_install_http_checks calls 2: fi_len fi_copy
201	func frg_install_http_checks(intent: u8,intent_size: i64,intent_hash: u8,rollback: u8,rollback_size: i64,rollback_hash: u8,registry_size: i64,live: *u8) -> i64 called by 1: frg_registered_checks calls 15: gv_ctr gv_plan_new ma_install_request_init md_registered_install_init frg_install_http_request fi_len+9
245	func frg_registered_checks(intent: u8,intent_size: i64,intent_hash: u8,rollback: u8,rollback_size: i64,live: u8,bank: u8,rollback_bank: u8) -> i64 called by 1: frg_install_checks calls 16: gv_plan_new gv_ctr fi_len fi_copy frg_file md_registered_install_init+10
292	func frg_install_checks() -> i64 called by 1: main calls 18: gv_ctr gv_plan_new frg_absolute frg_len fi_plan_init fi_plan_create+12
388	func frg_target_checks() -> i64 called by 1: main calls 14: gv_plan_new gv_ctr md_target_init frg_len fi_copy md_target_decode+8
452	func frg_live_target_checks(path: *u8,budget: i64) -> i64 called by 1: main calls 10: gv_plan_new gv_ctr md_target_init md_target_read gv_plan_check fi_same+4
469	func frg_arbiter_checks() -> i64 called by 1: main calls 13: gv_ctr gv_plan_new nx_ra_new gv_plan_check nx_ra_set_budget nx_ra_get_budget+7
508	func main(argc: i64,argv: *i64) -> i64 calls 22: fi_len fi_same frg_live_target_checks fi_path_valid frg_arbiter_checks frg_prepare_checks+16