Home	Sort by: relevance | last modified time | path

Full Search in project(s): src 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	330 veriexec_init(void) function in typeref:typename:void

Completed in 18 milliseconds

Indexes created Mon Oct 20 03:09:53 GMT 2025