Searched refs:camkes_get_extended_bootinfo (Results 1 - 1 of 1) sorted by last modified time

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c454 static ssize_t camkes_get_extended_bootinfo(void *data, seL4_Word type, void *dest, ssize_t max_len) { function
520 simple->extended_bootinfo = &camkes_get_extended_bootinfo;

Completed in 88 milliseconds