Searched refs:l4util_splitlog2_hdl (Results 1 – 2 of 2) sorted by relevance
34 l4util_splitlog2_hdl(l4_addr_t start, l4_addr_t end,53 l4util_splitlog2_hdl(l4_addr_t start, l4_addr_t end, in l4util_splitlog2_hdl() function
186 l4util_splitlog2_hdl(m_low, m_high, s0_request_ram); in init_stage2()227 l4util_splitlog2_hdl(m_low, m_high, s0_request_ram); in init_stage2()
Completed in 78 milliseconds