static void phys_page_set(AddressSpaceDispatch *d,

                          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(&d->phys_map, &index, &nb, leaf, P_L2_LEVELS - 1);

}

static void phys_page_set(AddressSpaceDispatch *d,

                          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(&d->phys_map, &index, &nb, leaf, P_L2_LEVELS - 1);

}

static void FUNC_0(AddressSpaceDispatch *VAR_0,

                          target_phys_addr_t VAR_1, target_phys_addr_t VAR_2,

                          uint16_t VAR_3)

{

    

    phys_map_node_reserve(3 * P_L2_LEVELS);



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

}

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