Searched defs:kernel_entry (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/tools/fastmodels/
H A Dconfig.h45 uint64_t kernel_entry; member in struct:config
/barrelfish-master/tools/arm_molly/
H A Dmolly_init64.c47 genvaddr_t kernel_entry; variable
H A Dmolly_init32.c46 genvaddr_t kernel_entry; variable
/barrelfish-master/tools/weever/
H A Dloader.c53 genvaddr_t kernel_entry; variable
/barrelfish-master/tools/molly/
H A Dmolly_init.c270 void *kernel_entry = NULL; local
/barrelfish-master/tools/elver/
H A Delver.c238 genvaddr_t kernel_entry; variable

Completed in 312 milliseconds