Searched refs:bootprofile_get (Results 1 – 3 of 3) sorted by relevance
80 extern void bootprofile_get(void **buffer, uint32_t *length);
1573 bootprofile_get(void **buffer, uint32_t *length) in bootprofile_get() function
726 bootprofile_get(&bootprofile, &len); in kern_stack_snapshot_internal()