Searched refs:bp_tag_t (Results 1 – 4 of 4) sorted by relevance
22 extern void platform_init(bp_tag_t*);
38 } bp_tag_t; typedef
220 void init_arch(bp_tag_t *bp_start);
26 void __weak __init platform_init(bp_tag_t *first) in platform_init()