Searched refs:userboot_obj (Results 1 – 1 of 1) sorted by relevance
576 const char *userboot_obj = "/boot/userboot.so"; in main() local584 userboot_obj = optarg; in main()609 h = dlopen(userboot_obj, RTLD_LOCAL); in main()