Searched refs:fbsd (Results 1 – 12 of 12) sorted by relevance
1 SHLIB_NAME= fbsd.so
289 FLUA_MODULE(fbsd);
3 DTS= tegra124-jetson-tk1-fbsd.dts
292 #define get_user_reg(reg, valp, fbsd) \ argument 293 get_user_reg_iss(reg ## _ISS, valp, fbsd)
15 FILES+= brand-fbsd.4th
60 s" try-include /boot/brand-fbsd.4th"
26 makeoptions FDT_DTS_FILE=tegra124-jetson-tk1-fbsd.dts
4 # From <rea-fbsd@codelabs.ru>
48 Patrick Bihan-Faou <patrick-fbsd@mindstep.com>
2560 get_user_reg_iss(u_int iss, uint64_t *val, bool fbsd) in get_user_reg_iss() argument 2566 if (fbsd) in get_user_reg_iss()
2049 OLD_FILES+=boot/brand-fbsd.4th
10978 OLD_FILES+=usr/share/examples/pc-sysinstall/pcinstall.cfg.fbsd-netinstall