board_info_get_number
uint64_t freq = board_info_get_number("processor-frequency");
uintptr_t spinup_table_addr = board_info_get_number("mp-spin-up-table");
board_info_get_number("l2-cache-size") / 1024,
board_info_get_number("l2-cache-line-size"),
board_info_get_number("l2-cache-banks"),
board_info_get_number("l2-cache-ways"));
const uint16_t my_id = board_info_get_number("my-id");
sc->sc_timebase = board_info_get_number("timebase-frequency");
sc->sc_frequency = (int) board_info_get_number("bus-frequency");
sc->sc_phy_addr = board_info_get_number(prop_name);
sc->sc.sc_clkbase = board_info_get_number("bus-frequency") / 2000;
ci->ci_data.cpu_cc_freq = board_info_get_number("timebase-frequency");
if (board_info_get_number("mem-size") > (1ULL << win_size_log2)) {
1ULL << win_size_log2, board_info_get_number("mem-size"));
uint64_t board_info_get_number(const char *);