static void phys_page_set(target_phys_addr_t index, target_phys_addr_t nb,

                          uint16_t leaf)

{

    /* Wildly overreserve - it doesn't matter much. */

    phys_map_node_reserve(3 * P_L2_LEVELS);



    phys_page_set_level(&phys_map, &index, &nb, leaf, P_L2_LEVELS - 1);

}

static void phys_page_set(target_phys_addr_t index, target_phys_addr_t nb,

                          uint16_t leaf)

{

    

    phys_map_node_reserve(3 * P_L2_LEVELS);



    phys_page_set_level(&phys_map, &index, &nb, leaf, P_L2_LEVELS - 1);

}

static void FUNC_0(target_phys_addr_t VAR_0, target_phys_addr_t VAR_1,

                          uint16_t VAR_2)

{

    

    phys_map_node_reserve(3 * P_L2_LEVELS);



    phys_page_set_level(&phys_map, &VAR_0, &VAR_1, VAR_2, P_L2_LEVELS - 1);

}

static void FUNC_0(target_phys_addr_t VAR_0, target_phys_addr_t VAR_1,
uint16_t VAR_2)
{ phys_map_node_reserve(3 * P_L2_LEVELS); phys_page_set_level(&phys_map, &VAR_0, &VAR_1, VAR_2, P_L2_LEVELS - 1); }