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