Searched refs:synthetic_bootaux (Results 1 – 1 of 1) sorted by relevance
88 static void synthetic_bootaux(char *, val_t *);442 synthetic_bootaux(filename, bootaux); in kobj_init()580 synthetic_bootaux(char *filename, val_t *bootaux) in synthetic_bootaux() function