Searched refs:bsetprop32 (Results 1 – 1 of 1) sorted by relevance
430 bsetprop32(char *name, uint32_t value) in bsetprop32() function1861 bsetprop32("stdout", stdout_val); in build_boot_properties()2991 bsetprop32("deferred-console-buf", (uint32_t)((uintptr_t)&p)); in defcons_init()