static void register_multipage(AddressSpaceDispatch *d,

                               MemoryRegionSection *section)

{

    hwaddr start_addr = section->offset_within_address_space;

    uint16_t section_index = phys_section_add(section);

    uint64_t num_pages = int128_get64(int128_rshift(section->size,

                                                    TARGET_PAGE_BITS));



    assert(num_pages);

    phys_page_set(d, start_addr >> TARGET_PAGE_BITS, num_pages, section_index);

}

static void register_multipage(AddressSpaceDispatch *d,

                               MemoryRegionSection *section)

{

    hwaddr start_addr = section->offset_within_address_space;

    uint16_t section_index = phys_section_add(section);

    uint64_t num_pages = int128_get64(int128_rshift(section->size,

                                                    TARGET_PAGE_BITS));



    assert(num_pages);

    phys_page_set(d, start_addr >> TARGET_PAGE_BITS, num_pages, section_index);

}

static void FUNC_0(AddressSpaceDispatch *VAR_0,

                               MemoryRegionSection *VAR_1)

{

    hwaddr start_addr = VAR_1->offset_within_address_space;

    uint16_t section_index = phys_section_add(VAR_1);

    uint64_t num_pages = int128_get64(int128_rshift(VAR_1->size,

                                                    TARGET_PAGE_BITS));



    assert(num_pages);

    phys_page_set(VAR_0, start_addr >> TARGET_PAGE_BITS, num_pages, section_index);

}

static void FUNC_0(AddressSpaceDispatch *VAR_0,
MemoryRegionSection *VAR_1)
{ hwaddr start_addr = VAR_1->offset_within_address_space; uint16_t section_index = phys_section_add(VAR_1); uint64_t num_pages = int128_get64(int128_rshift(VAR_1->size,
TARGET_PAGE_BITS)); assert(num_pages); phys_page_set(VAR_0, start_addr >> TARGET_PAGE_BITS, num_pages, section_index); }