Home	Sort by: relevance | last modified time | path

Full Search in project(s): src xsrc Definition Symbol File Path History   | | Help

    Searched refs:veriexec_init (Results 1 - 3 of 3) sorted by relevancy

/src/sys/sys/
verified_exec.h	88 void veriexec_init(void);
/src/sys/kern/
init_main.c	593 veriexec_init();
kern_veriexec.c	335 veriexec_init(void) function

Completed in 19 milliseconds

Indexes created Mon Feb 23 01:20:22 UTC 2026