ebpf-for-windows/tests/bpf2c_tests/expected/invalid_maps1_sys.c

// Copyright (c) Microsoft Corporation
// SPDX-License-Identifier: MIT

// Do not alter this generated file.
// This file was generated from invalid_maps1.o

#define NO_CRT
#include "bpf2c.h"

#include <guiddef.h>
#include <wdm.h>
#include <wsk.h>

DRIVER_INITIALIZE DriverEntry;
DRIVER_UNLOAD DriverUnload;
RTL_QUERY_REGISTRY_ROUTINE static _bpf2c_query_registry_routine;

#define metadata_table invalid_maps1##_metadata_table

static GUID _bpf2c_npi_id = {/* c847aac8-a6f2-4b53-aea3-f4a94b9a80cb */
                             0xc847aac8,
                             0xa6f2,
                             0x4b53,
                             {0xae, 0xa3, 0xf4, 0xa9, 0x4b, 0x9a, 0x80, 0xcb}};
static NPI_MODULEID _bpf2c_module_id = {sizeof(_bpf2c_module_id), MIT_GUID, {0}};
static HANDLE _bpf2c_nmr_client_handle;
static HANDLE _bpf2c_nmr_provider_handle;
extern metadata_table_t metadata_table;

static NTSTATUS
_bpf2c_npi_client_attach_provider(
    _In_ HANDLE nmr_binding_handle,
    _In_ void* client_context,
    _In_ const NPI_REGISTRATION_INSTANCE* provider_registration_instance);

static NTSTATUS
_bpf2c_npi_client_detach_provider(_In_ void* client_binding_context);

static const NPI_CLIENT_CHARACTERISTICS _bpf2c_npi_client_characteristics = {
    0,                                  // Version
    sizeof(NPI_CLIENT_CHARACTERISTICS), // Length
    _bpf2c_npi_client_attach_provider,
    _bpf2c_npi_client_detach_provider,
    NULL,
    {0,                                 // Version
     sizeof(NPI_REGISTRATION_INSTANCE), // Length
     &_bpf2c_npi_id,
     &_bpf2c_module_id,
     0,
     &metadata_table}};

static NTSTATUS
_bpf2c_query_npi_module_id(
    _In_ const wchar_t* value_name,
    unsigned long value_type,
    _In_ const void* value_data,
    unsigned long value_length,
    _Inout_ void* context,
    _Inout_ void* entry_context)
{
    UNREFERENCED_PARAMETER(value_name);
    UNREFERENCED_PARAMETER(context);
    UNREFERENCED_PARAMETER(entry_context);

    if (value_type != REG_BINARY) {
        return STATUS_INVALID_PARAMETER;
    }
    if (value_length != sizeof(_bpf2c_module_id.Guid)) {
        return STATUS_INVALID_PARAMETER;
    }

    memcpy(&_bpf2c_module_id.Guid, value_data, value_length);
    return STATUS_SUCCESS;
}

NTSTATUS
DriverEntry(_In_ DRIVER_OBJECT* driver_object, _In_ UNICODE_STRING* registry_path)
{
    NTSTATUS status;
    RTL_QUERY_REGISTRY_TABLE query_table[] = {
        {
            NULL,                      // Query routine
            RTL_QUERY_REGISTRY_SUBKEY, // Flags
            L"Parameters",             // Name
            NULL,                      // Entry context
            REG_NONE,                  // Default type
            NULL,                      // Default data
            0,                         // Default length
        },
        {
            _bpf2c_query_npi_module_id,  // Query routine
            RTL_QUERY_REGISTRY_REQUIRED, // Flags
            L"NpiModuleId",              // Name
            NULL,                        // Entry context
            REG_NONE,                    // Default type
            NULL,                        // Default data
            0,                           // Default length
        },
        {0}};

    status = RtlQueryRegistryValues(RTL_REGISTRY_ABSOLUTE, registry_path->Buffer, query_table, NULL, NULL);
    if (!NT_SUCCESS(status)) {
        goto Exit;
    }

    status = NmrRegisterClient(&_bpf2c_npi_client_characteristics, NULL, &_bpf2c_nmr_client_handle);

Exit:
    if (NT_SUCCESS(status)) {
        driver_object->DriverUnload = DriverUnload;
    }

    return status;
}

void
DriverUnload(_In_ DRIVER_OBJECT* driver_object)
{
    NTSTATUS status = NmrDeregisterClient(_bpf2c_nmr_client_handle);
    if (status == STATUS_PENDING) {
        NmrWaitForClientDeregisterComplete(_bpf2c_nmr_client_handle);
    }
    UNREFERENCED_PARAMETER(driver_object);
}

static NTSTATUS
_bpf2c_npi_client_attach_provider(
    _In_ HANDLE nmr_binding_handle,
    _In_ void* client_context,
    _In_ const NPI_REGISTRATION_INSTANCE* provider_registration_instance)
{
    NTSTATUS status = STATUS_SUCCESS;
    void* provider_binding_context = NULL;
    void* provider_dispatch_table = NULL;

    UNREFERENCED_PARAMETER(client_context);
    UNREFERENCED_PARAMETER(provider_registration_instance);

    if (_bpf2c_nmr_provider_handle != NULL) {
        return STATUS_INVALID_PARAMETER;
    }

#pragma warning(push)
#pragma warning( \
    disable : 6387) // Param 3 does not adhere to the specification for the function 'NmrClientAttachProvider'
    // As per MSDN, client dispatch can be NULL, but SAL does not allow it.
    // https://docs.microsoft.com/en-us/windows-hardware/drivers/ddi/netioddk/nf-netioddk-nmrclientattachprovider
    status = NmrClientAttachProvider(
        nmr_binding_handle, client_context, NULL, &provider_binding_context, &provider_dispatch_table);
    if (status != STATUS_SUCCESS) {
        goto Done;
    }
#pragma warning(pop)
    _bpf2c_nmr_provider_handle = nmr_binding_handle;

Done:
    return status;
}

static NTSTATUS
_bpf2c_npi_client_detach_provider(_In_ void* client_binding_context)
{
    _bpf2c_nmr_provider_handle = NULL;
    UNREFERENCED_PARAMETER(client_binding_context);
    return STATUS_SUCCESS;
}

#include "bpf2c.h"

static void
_get_hash(_Outptr_result_buffer_maybenull_(*size) const uint8_t** hash, _Out_ size_t* size)
{
    *hash = NULL;
    *size = 0;
}
#pragma data_seg(push, "maps")
static map_entry_t _maps[] = {
    {NULL,
     {
         BPF_MAP_TYPE_HASH, // Type of map.
         8,                 // Size in bytes of a map key.
         68,                // Size in bytes of a map value.
         1024,              // Maximum number of entries allowed in the map.
         0,                 // Inner map index.
         PIN_NONE,          // Pinning type for the map.
         0,                 // Identifier for a map template.
         0,                 // The id of the inner map template.
     },
     "process_map"},
    {NULL,
     {
         BPF_MAP_TYPE_ARRAY, // Type of map.
         4,                  // Size in bytes of a map key.
         4,                  // Size in bytes of a map value.
         1,                  // Maximum number of entries allowed in the map.
         0,                  // Inner map index.
         PIN_NONE,           // Pinning type for the map.
         0,                  // Identifier for a map template.
         0,                  // The id of the inner map template.
     },
     "limits_map"},
    {NULL,
     {
         BPF_MAP_TYPE_PROG_ARRAY, // Type of map.
         4,                       // Size in bytes of a map key.
         4,                       // Size in bytes of a map value.
         2,                       // Maximum number of entries allowed in the map.
         0,                       // Inner map index.
         PIN_NONE,                // Pinning type for the map.
         0,                       // Identifier for a map template.
         0,                       // The id of the inner map template.
     },
     "prog_array_map"},
    {NULL,
     {
         BPF_MAP_TYPE_HASH, // Type of map.
         4,                 // Size in bytes of a map key.
         4,                 // Size in bytes of a map value.
         1000,              // Maximum number of entries allowed in the map.
         0,                 // Inner map index.
         PIN_GLOBAL_NS,     // Pinning type for the map.
         0,                 // Identifier for a map template.
         0,                 // The id of the inner map template.
     },
     "dummy_map"},
    {NULL,
     {
         BPF_MAP_TYPE_ARRAY, // Type of map.
         4,                  // Size in bytes of a map key.
         4,                  // Size in bytes of a map value.
         10,                 // Maximum number of entries allowed in the map.
         0,                  // Inner map index.
         PIN_GLOBAL_NS,      // Pinning type for the map.
         0,                  // Identifier for a map template.
         0,                  // The id of the inner map template.
     },
     "dummy_map2"},
    {NULL,
     {
         BPF_MAP_TYPE_ARRAY_OF_MAPS, // Type of map.
         4,                          // Size in bytes of a map key.
         4,                          // Size in bytes of a map value.
         1,                          // Maximum number of entries allowed in the map.
         0,                          // Inner map index.
         PIN_NONE,                   // Pinning type for the map.
         0,                          // Identifier for a map template.
         11,                         // The id of the inner map template.
     },
     "dummy_outer_map"},
    {NULL,
     {
         BPF_MAP_TYPE_HASH_OF_MAPS, // Type of map.
         4,                         // Size in bytes of a map key.
         4,                         // Size in bytes of a map value.
         10,                        // Maximum number of entries allowed in the map.
         7,                         // Inner map index.
         PIN_NONE,                  // Pinning type for the map.
         0,                         // Identifier for a map template.
         0,                         // The id of the inner map template.
     },
     "dummy_outer_idx_map"},
    {NULL,
     {
         BPF_MAP_TYPE_HASH, // Type of map.
         4,                 // Size in bytes of a map key.
         4,                 // Size in bytes of a map value.
         1,                 // Maximum number of entries allowed in the map.
         0,                 // Inner map index.
         PIN_NONE,          // Pinning type for the map.
         10,                // Identifier for a map template.
         0,                 // The id of the inner map template.
     },
     "dummy_inner_map"},
};
#pragma data_seg(pop)

static void
_get_maps(_Outptr_result_buffer_maybenull_(*count) map_entry_t** maps, _Out_ size_t* count)
{
    *maps = _maps;
    *count = 8;
}

static helper_function_entry_t BindMonitor_helpers[] = {
    {NULL, 1, "helper_id_1"},
    {NULL, 5, "helper_id_5"},
};

static GUID BindMonitor_program_type_guid = {
    0x608c517c, 0x6c52, 0x4a26, {0xb6, 0x77, 0xbb, 0x1c, 0x34, 0x42, 0x5a, 0xdf}};
static GUID BindMonitor_attach_type_guid = {
    0xb9707e04, 0x8127, 0x4c72, {0x83, 0x3e, 0x05, 0xb1, 0xfb, 0x43, 0x94, 0x96}};
static uint16_t BindMonitor_maps[] = {
    2,
    3,
};

#pragma code_seg(push, "bind")
static uint64_t
BindMonitor(void* context)
#line 135 "sample/unsafe/invalid_maps1.c"
{
#line 135 "sample/unsafe/invalid_maps1.c"
    // Prologue
#line 135 "sample/unsafe/invalid_maps1.c"
    uint64_t stack[(UBPF_STACK_SIZE + 7) / 8];
#line 135 "sample/unsafe/invalid_maps1.c"
    register uint64_t r0 = 0;
#line 135 "sample/unsafe/invalid_maps1.c"
    register uint64_t r1 = 0;
#line 135 "sample/unsafe/invalid_maps1.c"
    register uint64_t r2 = 0;
#line 135 "sample/unsafe/invalid_maps1.c"
    register uint64_t r3 = 0;
#line 135 "sample/unsafe/invalid_maps1.c"
    register uint64_t r4 = 0;
#line 135 "sample/unsafe/invalid_maps1.c"
    register uint64_t r5 = 0;
#line 135 "sample/unsafe/invalid_maps1.c"
    register uint64_t r6 = 0;
#line 135 "sample/unsafe/invalid_maps1.c"
    register uint64_t r10 = 0;

#line 135 "sample/unsafe/invalid_maps1.c"
    r1 = (uintptr_t)context;
#line 135 "sample/unsafe/invalid_maps1.c"
    r10 = (uintptr_t)((uint8_t*)stack + sizeof(stack));

    // EBPF_OP_MOV64_REG pc=0 dst=r6 src=r1 offset=0 imm=0
#line 135 "sample/unsafe/invalid_maps1.c"
    r6 = r1;
    // EBPF_OP_MOV64_IMM pc=1 dst=r1 src=r0 offset=0 imm=0
#line 135 "sample/unsafe/invalid_maps1.c"
    r1 = IMMEDIATE(0);
    // EBPF_OP_STXW pc=2 dst=r10 src=r1 offset=-4 imm=0
#line 137 "sample/unsafe/invalid_maps1.c"
    *(uint32_t*)(uintptr_t)(r10 + OFFSET(-4)) = (uint32_t)r1;
    // EBPF_OP_MOV64_REG pc=3 dst=r2 src=r10 offset=0 imm=0
#line 137 "sample/unsafe/invalid_maps1.c"
    r2 = r10;
    // EBPF_OP_ADD64_IMM pc=4 dst=r2 src=r0 offset=0 imm=-4
#line 137 "sample/unsafe/invalid_maps1.c"
    r2 += IMMEDIATE(-4);
    // EBPF_OP_LDDW pc=5 dst=r1 src=r0 offset=0 imm=0
#line 138 "sample/unsafe/invalid_maps1.c"
    r1 = POINTER(_maps[3].address);
    // EBPF_OP_CALL pc=7 dst=r0 src=r0 offset=0 imm=1
#line 138 "sample/unsafe/invalid_maps1.c"
    r0 = BindMonitor_helpers[0].address
#line 138 "sample/unsafe/invalid_maps1.c"
         (r1, r2, r3, r4, r5);
#line 138 "sample/unsafe/invalid_maps1.c"
    if ((BindMonitor_helpers[0].tail_call) && (r0 == 0))
#line 138 "sample/unsafe/invalid_maps1.c"
        return 0;
        // EBPF_OP_JNE_IMM pc=8 dst=r0 src=r0 offset=5 imm=0
#line 140 "sample/unsafe/invalid_maps1.c"
    if (r0 != IMMEDIATE(0))
#line 140 "sample/unsafe/invalid_maps1.c"
        goto label_1;
        // EBPF_OP_MOV64_REG pc=9 dst=r1 src=r6 offset=0 imm=0
#line 143 "sample/unsafe/invalid_maps1.c"
    r1 = r6;
    // EBPF_OP_LDDW pc=10 dst=r2 src=r0 offset=0 imm=0
#line 143 "sample/unsafe/invalid_maps1.c"
    r2 = POINTER(_maps[2].address);
    // EBPF_OP_MOV64_IMM pc=12 dst=r3 src=r0 offset=0 imm=0
#line 143 "sample/unsafe/invalid_maps1.c"
    r3 = IMMEDIATE(0);
    // EBPF_OP_CALL pc=13 dst=r0 src=r0 offset=0 imm=5
#line 143 "sample/unsafe/invalid_maps1.c"
    r0 = BindMonitor_helpers[1].address
#line 143 "sample/unsafe/invalid_maps1.c"
         (r1, r2, r3, r4, r5);
#line 143 "sample/unsafe/invalid_maps1.c"
    if ((BindMonitor_helpers[1].tail_call) && (r0 == 0))
#line 143 "sample/unsafe/invalid_maps1.c"
        return 0;
label_1:
    // EBPF_OP_MOV64_IMM pc=14 dst=r0 src=r0 offset=0 imm=1
#line 146 "sample/unsafe/invalid_maps1.c"
    r0 = IMMEDIATE(1);
    // EBPF_OP_EXIT pc=15 dst=r0 src=r0 offset=0 imm=0
#line 146 "sample/unsafe/invalid_maps1.c"
    return r0;
#line 146 "sample/unsafe/invalid_maps1.c"
}
#pragma code_seg(pop)
#line __LINE__ __FILE__

static helper_function_entry_t BindMonitor_Callee0_helpers[] = {
    {NULL, 1, "helper_id_1"},
    {NULL, 5, "helper_id_5"},
};

static GUID BindMonitor_Callee0_program_type_guid = {
    0x608c517c, 0x6c52, 0x4a26, {0xb6, 0x77, 0xbb, 0x1c, 0x34, 0x42, 0x5a, 0xdf}};
static GUID BindMonitor_Callee0_attach_type_guid = {
    0xb9707e04, 0x8127, 0x4c72, {0x83, 0x3e, 0x05, 0xb1, 0xfb, 0x43, 0x94, 0x96}};
static uint16_t BindMonitor_Callee0_maps[] = {
    2,
    3,
};

#pragma code_seg(push, "bind/0")
static uint64_t
BindMonitor_Callee0(void* context)
#line 151 "sample/unsafe/invalid_maps1.c"
{
#line 151 "sample/unsafe/invalid_maps1.c"
    // Prologue
#line 151 "sample/unsafe/invalid_maps1.c"
    uint64_t stack[(UBPF_STACK_SIZE + 7) / 8];
#line 151 "sample/unsafe/invalid_maps1.c"
    register uint64_t r0 = 0;
#line 151 "sample/unsafe/invalid_maps1.c"
    register uint64_t r1 = 0;
#line 151 "sample/unsafe/invalid_maps1.c"
    register uint64_t r2 = 0;
#line 151 "sample/unsafe/invalid_maps1.c"
    register uint64_t r3 = 0;
#line 151 "sample/unsafe/invalid_maps1.c"
    register uint64_t r4 = 0;
#line 151 "sample/unsafe/invalid_maps1.c"
    register uint64_t r5 = 0;
#line 151 "sample/unsafe/invalid_maps1.c"
    register uint64_t r6 = 0;
#line 151 "sample/unsafe/invalid_maps1.c"
    register uint64_t r10 = 0;

#line 151 "sample/unsafe/invalid_maps1.c"
    r1 = (uintptr_t)context;
#line 151 "sample/unsafe/invalid_maps1.c"
    r10 = (uintptr_t)((uint8_t*)stack + sizeof(stack));

    // EBPF_OP_MOV64_REG pc=0 dst=r6 src=r1 offset=0 imm=0
#line 151 "sample/unsafe/invalid_maps1.c"
    r6 = r1;
    // EBPF_OP_MOV64_IMM pc=1 dst=r1 src=r0 offset=0 imm=0
#line 151 "sample/unsafe/invalid_maps1.c"
    r1 = IMMEDIATE(0);
    // EBPF_OP_STXW pc=2 dst=r10 src=r1 offset=-4 imm=0
#line 153 "sample/unsafe/invalid_maps1.c"
    *(uint32_t*)(uintptr_t)(r10 + OFFSET(-4)) = (uint32_t)r1;
    // EBPF_OP_MOV64_REG pc=3 dst=r2 src=r10 offset=0 imm=0
#line 153 "sample/unsafe/invalid_maps1.c"
    r2 = r10;
    // EBPF_OP_ADD64_IMM pc=4 dst=r2 src=r0 offset=0 imm=-4
#line 153 "sample/unsafe/invalid_maps1.c"
    r2 += IMMEDIATE(-4);
    // EBPF_OP_LDDW pc=5 dst=r1 src=r0 offset=0 imm=0
#line 154 "sample/unsafe/invalid_maps1.c"
    r1 = POINTER(_maps[3].address);
    // EBPF_OP_CALL pc=7 dst=r0 src=r0 offset=0 imm=1
#line 154 "sample/unsafe/invalid_maps1.c"
    r0 = BindMonitor_Callee0_helpers[0].address
#line 154 "sample/unsafe/invalid_maps1.c"
         (r1, r2, r3, r4, r5);
#line 154 "sample/unsafe/invalid_maps1.c"
    if ((BindMonitor_Callee0_helpers[0].tail_call) && (r0 == 0))
#line 154 "sample/unsafe/invalid_maps1.c"
        return 0;
        // EBPF_OP_JNE_IMM pc=8 dst=r0 src=r0 offset=5 imm=0
#line 156 "sample/unsafe/invalid_maps1.c"
    if (r0 != IMMEDIATE(0))
#line 156 "sample/unsafe/invalid_maps1.c"
        goto label_1;
        // EBPF_OP_MOV64_REG pc=9 dst=r1 src=r6 offset=0 imm=0
#line 159 "sample/unsafe/invalid_maps1.c"
    r1 = r6;
    // EBPF_OP_LDDW pc=10 dst=r2 src=r0 offset=0 imm=0
#line 159 "sample/unsafe/invalid_maps1.c"
    r2 = POINTER(_maps[2].address);
    // EBPF_OP_MOV64_IMM pc=12 dst=r3 src=r0 offset=0 imm=1
#line 159 "sample/unsafe/invalid_maps1.c"
    r3 = IMMEDIATE(1);
    // EBPF_OP_CALL pc=13 dst=r0 src=r0 offset=0 imm=5
#line 159 "sample/unsafe/invalid_maps1.c"
    r0 = BindMonitor_Callee0_helpers[1].address
#line 159 "sample/unsafe/invalid_maps1.c"
         (r1, r2, r3, r4, r5);
#line 159 "sample/unsafe/invalid_maps1.c"
    if ((BindMonitor_Callee0_helpers[1].tail_call) && (r0 == 0))
#line 159 "sample/unsafe/invalid_maps1.c"
        return 0;
label_1:
    // EBPF_OP_MOV64_IMM pc=14 dst=r0 src=r0 offset=0 imm=1
#line 162 "sample/unsafe/invalid_maps1.c"
    r0 = IMMEDIATE(1);
    // EBPF_OP_EXIT pc=15 dst=r0 src=r0 offset=0 imm=0
#line 162 "sample/unsafe/invalid_maps1.c"
    return r0;
#line 162 "sample/unsafe/invalid_maps1.c"
}
#pragma code_seg(pop)
#line __LINE__ __FILE__

static helper_function_entry_t BindMonitor_Callee1_helpers[] = {
    {NULL, 1, "helper_id_1"},
    {NULL, 2, "helper_id_2"},
    {NULL, 3, "helper_id_3"},
};

static GUID BindMonitor_Callee1_program_type_guid = {
    0x608c517c, 0x6c52, 0x4a26, {0xb6, 0x77, 0xbb, 0x1c, 0x34, 0x42, 0x5a, 0xdf}};
static GUID BindMonitor_Callee1_attach_type_guid = {
    0xb9707e04, 0x8127, 0x4c72, {0x83, 0x3e, 0x05, 0xb1, 0xfb, 0x43, 0x94, 0x96}};
static uint16_t BindMonitor_Callee1_maps[] = {
    0,
    1,
};

#pragma code_seg(push, "bind/1")
static uint64_t
BindMonitor_Callee1(void* context)
#line 167 "sample/unsafe/invalid_maps1.c"
{
#line 167 "sample/unsafe/invalid_maps1.c"
    // Prologue
#line 167 "sample/unsafe/invalid_maps1.c"
    uint64_t stack[(UBPF_STACK_SIZE + 7) / 8];
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r0 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r1 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r2 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r3 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r4 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r5 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r6 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r7 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r8 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r9 = 0;
#line 167 "sample/unsafe/invalid_maps1.c"
    register uint64_t r10 = 0;

#line 167 "sample/unsafe/invalid_maps1.c"
    r1 = (uintptr_t)context;
#line 167 "sample/unsafe/invalid_maps1.c"
    r10 = (uintptr_t)((uint8_t*)stack + sizeof(stack));

    // EBPF_OP_MOV64_REG pc=0 dst=r6 src=r1 offset=0 imm=0
#line 167 "sample/unsafe/invalid_maps1.c"
    r6 = r1;
    // EBPF_OP_MOV64_IMM pc=1 dst=r8 src=r0 offset=0 imm=0
#line 167 "sample/unsafe/invalid_maps1.c"
    r8 = IMMEDIATE(0);
    // EBPF_OP_STXW pc=2 dst=r10 src=r8 offset=-84 imm=0
#line 169 "sample/unsafe/invalid_maps1.c"
    *(uint32_t*)(uintptr_t)(r10 + OFFSET(-84)) = (uint32_t)r8;
    // EBPF_OP_MOV64_REG pc=3 dst=r2 src=r10 offset=0 imm=0
#line 169 "sample/unsafe/invalid_maps1.c"
    r2 = r10;
    // EBPF_OP_ADD64_IMM pc=4 dst=r2 src=r0 offset=0 imm=-84
#line 169 "sample/unsafe/invalid_maps1.c"
    r2 += IMMEDIATE(-84);
    // EBPF_OP_LDDW pc=5 dst=r1 src=r0 offset=0 imm=0
#line 171 "sample/unsafe/invalid_maps1.c"
    r1 = POINTER(_maps[1].address);
    // EBPF_OP_CALL pc=7 dst=r0 src=r0 offset=0 imm=1
#line 171 "sample/unsafe/invalid_maps1.c"
    r0 = BindMonitor_Callee1_helpers[0].address
#line 171 "sample/unsafe/invalid_maps1.c"
         (r1, r2, r3, r4, r5);
#line 171 "sample/unsafe/invalid_maps1.c"
    if ((BindMonitor_Callee1_helpers[0].tail_call) && (r0 == 0))
#line 171 "sample/unsafe/invalid_maps1.c"
        return 0;
        // EBPF_OP_MOV64_REG pc=8 dst=r7 src=r0 offset=0 imm=0
#line 171 "sample/unsafe/invalid_maps1.c"
    r7 = r0;
    // EBPF_OP_JEQ_IMM pc=9 dst=r7 src=r0 offset=82 imm=0
#line 172 "sample/unsafe/invalid_maps1.c"
    if (r7 == IMMEDIATE(0))
#line 172 "sample/unsafe/invalid_maps1.c"
        goto label_9;
        // EBPF_OP_LDXW pc=10 dst=r1 src=r7 offset=0 imm=0
#line 172 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint32_t*)(uintptr_t)(r7 + OFFSET(0));
    // EBPF_OP_JEQ_IMM pc=11 dst=r1 src=r0 offset=80 imm=0
#line 172 "sample/unsafe/invalid_maps1.c"
    if (r1 == IMMEDIATE(0))
#line 172 "sample/unsafe/invalid_maps1.c"
        goto label_9;
        // EBPF_OP_LDXDW pc=12 dst=r1 src=r6 offset=16 imm=0
#line 94 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint64_t*)(uintptr_t)(r6 + OFFSET(16));
    // EBPF_OP_STXDW pc=13 dst=r10 src=r1 offset=-8 imm=0
#line 94 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-8)) = (uint64_t)r1;
    // EBPF_OP_MOV64_IMM pc=14 dst=r1 src=r0 offset=0 imm=0
#line 94 "sample/unsafe/invalid_maps1.c"
    r1 = IMMEDIATE(0);
    // EBPF_OP_STXW pc=15 dst=r10 src=r1 offset=-16 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    *(uint32_t*)(uintptr_t)(r10 + OFFSET(-16)) = (uint32_t)r1;
    // EBPF_OP_STXDW pc=16 dst=r10 src=r1 offset=-24 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-24)) = (uint64_t)r1;
    // EBPF_OP_STXDW pc=17 dst=r10 src=r1 offset=-32 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-32)) = (uint64_t)r1;
    // EBPF_OP_STXDW pc=18 dst=r10 src=r1 offset=-40 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-40)) = (uint64_t)r1;
    // EBPF_OP_STXDW pc=19 dst=r10 src=r1 offset=-48 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-48)) = (uint64_t)r1;
    // EBPF_OP_STXDW pc=20 dst=r10 src=r1 offset=-56 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-56)) = (uint64_t)r1;
    // EBPF_OP_STXDW pc=21 dst=r10 src=r1 offset=-64 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-64)) = (uint64_t)r1;
    // EBPF_OP_STXDW pc=22 dst=r10 src=r1 offset=-72 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-72)) = (uint64_t)r1;
    // EBPF_OP_STXDW pc=23 dst=r10 src=r1 offset=-80 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-80)) = (uint64_t)r1;
    // EBPF_OP_MOV64_REG pc=24 dst=r2 src=r10 offset=0 imm=0
#line 96 "sample/unsafe/invalid_maps1.c"
    r2 = r10;
    // EBPF_OP_ADD64_IMM pc=25 dst=r2 src=r0 offset=0 imm=-8
#line 96 "sample/unsafe/invalid_maps1.c"
    r2 += IMMEDIATE(-8);
    // EBPF_OP_LDDW pc=26 dst=r1 src=r0 offset=0 imm=0
#line 99 "sample/unsafe/invalid_maps1.c"
    r1 = POINTER(_maps[0].address);
    // EBPF_OP_CALL pc=28 dst=r0 src=r0 offset=0 imm=1
#line 99 "sample/unsafe/invalid_maps1.c"
    r0 = BindMonitor_Callee1_helpers[0].address
#line 99 "sample/unsafe/invalid_maps1.c"
         (r1, r2, r3, r4, r5);
#line 99 "sample/unsafe/invalid_maps1.c"
    if ((BindMonitor_Callee1_helpers[0].tail_call) && (r0 == 0))
#line 99 "sample/unsafe/invalid_maps1.c"
        return 0;
        // EBPF_OP_JEQ_IMM pc=29 dst=r0 src=r0 offset=1 imm=0
#line 100 "sample/unsafe/invalid_maps1.c"
    if (r0 == IMMEDIATE(0))
#line 100 "sample/unsafe/invalid_maps1.c"
        goto label_1;
        // EBPF_OP_JA pc=30 dst=r0 src=r0 offset=33 imm=0
#line 100 "sample/unsafe/invalid_maps1.c"
    goto label_3;
label_1:
    // EBPF_OP_LDXW pc=31 dst=r1 src=r6 offset=44 imm=0
#line 104 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint32_t*)(uintptr_t)(r6 + OFFSET(44));
    // EBPF_OP_JNE_IMM pc=32 dst=r1 src=r0 offset=58 imm=0
#line 104 "sample/unsafe/invalid_maps1.c"
    if (r1 != IMMEDIATE(0))
#line 104 "sample/unsafe/invalid_maps1.c"
        goto label_8;
        // EBPF_OP_LDXDW pc=33 dst=r1 src=r6 offset=0 imm=0
#line 108 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint64_t*)(uintptr_t)(r6 + OFFSET(0));
    // EBPF_OP_JEQ_IMM pc=34 dst=r1 src=r0 offset=56 imm=0
#line 108 "sample/unsafe/invalid_maps1.c"
    if (r1 == IMMEDIATE(0))
#line 108 "sample/unsafe/invalid_maps1.c"
        goto label_8;
        // EBPF_OP_LDXDW pc=35 dst=r1 src=r6 offset=8 imm=0
#line 108 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint64_t*)(uintptr_t)(r6 + OFFSET(8));
    // EBPF_OP_JEQ_IMM pc=36 dst=r1 src=r0 offset=54 imm=0
#line 108 "sample/unsafe/invalid_maps1.c"
    if (r1 == IMMEDIATE(0))
#line 108 "sample/unsafe/invalid_maps1.c"
        goto label_8;
        // EBPF_OP_MOV64_REG pc=37 dst=r8 src=r10 offset=0 imm=0
#line 108 "sample/unsafe/invalid_maps1.c"
    r8 = r10;
    // EBPF_OP_ADD64_IMM pc=38 dst=r8 src=r0 offset=0 imm=-8
#line 108 "sample/unsafe/invalid_maps1.c"
    r8 += IMMEDIATE(-8);
    // EBPF_OP_MOV64_REG pc=39 dst=r3 src=r10 offset=0 imm=0
#line 108 "sample/unsafe/invalid_maps1.c"
    r3 = r10;
    // EBPF_OP_ADD64_IMM pc=40 dst=r3 src=r0 offset=0 imm=-80
#line 108 "sample/unsafe/invalid_maps1.c"
    r3 += IMMEDIATE(-80);
    // EBPF_OP_MOV64_IMM pc=41 dst=r9 src=r0 offset=0 imm=0
#line 108 "sample/unsafe/invalid_maps1.c"
    r9 = IMMEDIATE(0);
    // EBPF_OP_LDDW pc=42 dst=r1 src=r0 offset=0 imm=0
#line 112 "sample/unsafe/invalid_maps1.c"
    r1 = POINTER(_maps[0].address);
    // EBPF_OP_MOV64_REG pc=44 dst=r2 src=r8 offset=0 imm=0
#line 112 "sample/unsafe/invalid_maps1.c"
    r2 = r8;
    // EBPF_OP_MOV64_IMM pc=45 dst=r4 src=r0 offset=0 imm=0
#line 112 "sample/unsafe/invalid_maps1.c"
    r4 = IMMEDIATE(0);
    // EBPF_OP_CALL pc=46 dst=r0 src=r0 offset=0 imm=2
#line 112 "sample/unsafe/invalid_maps1.c"
    r0 = BindMonitor_Callee1_helpers[1].address
#line 112 "sample/unsafe/invalid_maps1.c"
         (r1, r2, r3, r4, r5);
#line 112 "sample/unsafe/invalid_maps1.c"
    if ((BindMonitor_Callee1_helpers[1].tail_call) && (r0 == 0))
#line 112 "sample/unsafe/invalid_maps1.c"
        return 0;
        // EBPF_OP_LDDW pc=47 dst=r1 src=r0 offset=0 imm=0
#line 113 "sample/unsafe/invalid_maps1.c"
    r1 = POINTER(_maps[0].address);
    // EBPF_OP_MOV64_REG pc=49 dst=r2 src=r8 offset=0 imm=0
#line 113 "sample/unsafe/invalid_maps1.c"
    r2 = r8;
    // EBPF_OP_CALL pc=50 dst=r0 src=r0 offset=0 imm=1
#line 113 "sample/unsafe/invalid_maps1.c"
    r0 = BindMonitor_Callee1_helpers[0].address
#line 113 "sample/unsafe/invalid_maps1.c"
         (r1, r2, r3, r4, r5);
#line 113 "sample/unsafe/invalid_maps1.c"
    if ((BindMonitor_Callee1_helpers[0].tail_call) && (r0 == 0))
#line 113 "sample/unsafe/invalid_maps1.c"
        return 0;
        // EBPF_OP_JEQ_IMM pc=51 dst=r0 src=r0 offset=39 imm=0
#line 114 "sample/unsafe/invalid_maps1.c"
    if (r0 == IMMEDIATE(0))
#line 114 "sample/unsafe/invalid_maps1.c"
        goto label_8;
        // EBPF_OP_MOV64_REG pc=52 dst=r1 src=r0 offset=0 imm=0
#line 114 "sample/unsafe/invalid_maps1.c"
    r1 = r0;
    // EBPF_OP_ADD64_IMM pc=53 dst=r1 src=r0 offset=0 imm=4
#line 114 "sample/unsafe/invalid_maps1.c"
    r1 += IMMEDIATE(4);
label_2:
    // EBPF_OP_LDXDW pc=54 dst=r2 src=r6 offset=0 imm=0
#line 119 "sample/unsafe/invalid_maps1.c"
    r2 = *(uint64_t*)(uintptr_t)(r6 + OFFSET(0));
    // EBPF_OP_ADD64_REG pc=55 dst=r2 src=r9 offset=0 imm=0
#line 119 "sample/unsafe/invalid_maps1.c"
    r2 += r9;
    // EBPF_OP_LDXDW pc=56 dst=r3 src=r6 offset=8 imm=0
#line 119 "sample/unsafe/invalid_maps1.c"
    r3 = *(uint64_t*)(uintptr_t)(r6 + OFFSET(8));
    // EBPF_OP_JGE_REG pc=57 dst=r2 src=r3 offset=6 imm=0
#line 119 "sample/unsafe/invalid_maps1.c"
    if (r2 >= r3)
#line 119 "sample/unsafe/invalid_maps1.c"
        goto label_3;
        // EBPF_OP_MOV64_REG pc=58 dst=r3 src=r1 offset=0 imm=0
#line 123 "sample/unsafe/invalid_maps1.c"
    r3 = r1;
    // EBPF_OP_ADD64_REG pc=59 dst=r3 src=r9 offset=0 imm=0
#line 123 "sample/unsafe/invalid_maps1.c"
    r3 += r9;
    // EBPF_OP_LDXB pc=60 dst=r2 src=r2 offset=0 imm=0
#line 123 "sample/unsafe/invalid_maps1.c"
    r2 = *(uint8_t*)(uintptr_t)(r2 + OFFSET(0));
    // EBPF_OP_STXB pc=61 dst=r3 src=r2 offset=0 imm=0
#line 123 "sample/unsafe/invalid_maps1.c"
    *(uint8_t*)(uintptr_t)(r3 + OFFSET(0)) = (uint8_t)r2;
    // EBPF_OP_ADD64_IMM pc=62 dst=r9 src=r0 offset=0 imm=1
#line 118 "sample/unsafe/invalid_maps1.c"
    r9 += IMMEDIATE(1);
    // EBPF_OP_JNE_IMM pc=63 dst=r9 src=r0 offset=-10 imm=64
#line 118 "sample/unsafe/invalid_maps1.c"
    if (r9 != IMMEDIATE(64))
#line 118 "sample/unsafe/invalid_maps1.c"
        goto label_2;
label_3:
    // EBPF_OP_LDXW pc=64 dst=r1 src=r6 offset=44 imm=0
#line 182 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint32_t*)(uintptr_t)(r6 + OFFSET(44));
    // EBPF_OP_JEQ_IMM pc=65 dst=r1 src=r0 offset=3 imm=0
#line 182 "sample/unsafe/invalid_maps1.c"
    if (r1 == IMMEDIATE(0))
#line 182 "sample/unsafe/invalid_maps1.c"
        goto label_4;
        // EBPF_OP_JEQ_IMM pc=66 dst=r1 src=r0 offset=9 imm=2
#line 182 "sample/unsafe/invalid_maps1.c"
    if (r1 == IMMEDIATE(2))
#line 182 "sample/unsafe/invalid_maps1.c"
        goto label_5;
        // EBPF_OP_LDXW pc=67 dst=r1 src=r0 offset=0 imm=0
#line 199 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint32_t*)(uintptr_t)(r0 + OFFSET(0));
    // EBPF_OP_JA pc=68 dst=r0 src=r0 offset=11 imm=0
#line 199 "sample/unsafe/invalid_maps1.c"
    goto label_6;
label_4:
    // EBPF_OP_MOV64_IMM pc=69 dst=r8 src=r0 offset=0 imm=1
#line 199 "sample/unsafe/invalid_maps1.c"
    r8 = IMMEDIATE(1);
    // EBPF_OP_LDXW pc=70 dst=r1 src=r0 offset=0 imm=0
#line 184 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint32_t*)(uintptr_t)(r0 + OFFSET(0));
    // EBPF_OP_LDXW pc=71 dst=r2 src=r7 offset=0 imm=0
#line 184 "sample/unsafe/invalid_maps1.c"
    r2 = *(uint32_t*)(uintptr_t)(r7 + OFFSET(0));
    // EBPF_OP_JGE_REG pc=72 dst=r1 src=r2 offset=19 imm=0
#line 184 "sample/unsafe/invalid_maps1.c"
    if (r1 >= r2)
#line 184 "sample/unsafe/invalid_maps1.c"
        goto label_9;
        // EBPF_OP_ADD64_IMM pc=73 dst=r1 src=r0 offset=0 imm=1
#line 188 "sample/unsafe/invalid_maps1.c"
    r1 += IMMEDIATE(1);
    // EBPF_OP_STXW pc=74 dst=r0 src=r1 offset=0 imm=0
#line 188 "sample/unsafe/invalid_maps1.c"
    *(uint32_t*)(uintptr_t)(r0 + OFFSET(0)) = (uint32_t)r1;
    // EBPF_OP_JA pc=75 dst=r0 src=r0 offset=15 imm=0
#line 188 "sample/unsafe/invalid_maps1.c"
    goto label_8;
label_5:
    // EBPF_OP_LDXW pc=76 dst=r1 src=r0 offset=0 imm=0
#line 191 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint32_t*)(uintptr_t)(r0 + OFFSET(0));
    // EBPF_OP_JEQ_IMM pc=77 dst=r1 src=r0 offset=6 imm=0
#line 191 "sample/unsafe/invalid_maps1.c"
    if (r1 == IMMEDIATE(0))
#line 191 "sample/unsafe/invalid_maps1.c"
        goto label_7;
        // EBPF_OP_ADD64_IMM pc=78 dst=r1 src=r0 offset=0 imm=-1
#line 192 "sample/unsafe/invalid_maps1.c"
    r1 += IMMEDIATE(-1);
    // EBPF_OP_STXW pc=79 dst=r0 src=r1 offset=0 imm=0
#line 192 "sample/unsafe/invalid_maps1.c"
    *(uint32_t*)(uintptr_t)(r0 + OFFSET(0)) = (uint32_t)r1;
label_6:
    // EBPF_OP_MOV64_IMM pc=80 dst=r8 src=r0 offset=0 imm=0
#line 192 "sample/unsafe/invalid_maps1.c"
    r8 = IMMEDIATE(0);
    // EBPF_OP_LSH64_IMM pc=81 dst=r1 src=r0 offset=0 imm=32
#line 199 "sample/unsafe/invalid_maps1.c"
    r1 <<= (IMMEDIATE(32) & 63);
    // EBPF_OP_RSH64_IMM pc=82 dst=r1 src=r0 offset=0 imm=32
#line 199 "sample/unsafe/invalid_maps1.c"
    r1 >>= (IMMEDIATE(32) & 63);
    // EBPF_OP_JNE_IMM pc=83 dst=r1 src=r0 offset=8 imm=0
#line 199 "sample/unsafe/invalid_maps1.c"
    if (r1 != IMMEDIATE(0))
#line 199 "sample/unsafe/invalid_maps1.c"
        goto label_9;
label_7:
    // EBPF_OP_LDXDW pc=84 dst=r1 src=r6 offset=16 imm=0
#line 200 "sample/unsafe/invalid_maps1.c"
    r1 = *(uint64_t*)(uintptr_t)(r6 + OFFSET(16));
    // EBPF_OP_STXDW pc=85 dst=r10 src=r1 offset=-80 imm=0
#line 200 "sample/unsafe/invalid_maps1.c"
    *(uint64_t*)(uintptr_t)(r10 + OFFSET(-80)) = (uint64_t)r1;
    // EBPF_OP_MOV64_REG pc=86 dst=r2 src=r10 offset=0 imm=0
#line 200 "sample/unsafe/invalid_maps1.c"
    r2 = r10;
    // EBPF_OP_ADD64_IMM pc=87 dst=r2 src=r0 offset=0 imm=-80
#line 200 "sample/unsafe/invalid_maps1.c"
    r2 += IMMEDIATE(-80);
    // EBPF_OP_LDDW pc=88 dst=r1 src=r0 offset=0 imm=0
#line 201 "sample/unsafe/invalid_maps1.c"
    r1 = POINTER(_maps[0].address);
    // EBPF_OP_CALL pc=90 dst=r0 src=r0 offset=0 imm=3
#line 201 "sample/unsafe/invalid_maps1.c"
    r0 = BindMonitor_Callee1_helpers[2].address
#line 201 "sample/unsafe/invalid_maps1.c"
         (r1, r2, r3, r4, r5);
#line 201 "sample/unsafe/invalid_maps1.c"
    if ((BindMonitor_Callee1_helpers[2].tail_call) && (r0 == 0))
#line 201 "sample/unsafe/invalid_maps1.c"
        return 0;
label_8:
    // EBPF_OP_MOV64_IMM pc=91 dst=r8 src=r0 offset=0 imm=0
#line 201 "sample/unsafe/invalid_maps1.c"
    r8 = IMMEDIATE(0);
label_9:
    // EBPF_OP_MOV64_REG pc=92 dst=r0 src=r8 offset=0 imm=0
#line 205 "sample/unsafe/invalid_maps1.c"
    r0 = r8;
    // EBPF_OP_EXIT pc=93 dst=r0 src=r0 offset=0 imm=0
#line 205 "sample/unsafe/invalid_maps1.c"
    return r0;
#line 205 "sample/unsafe/invalid_maps1.c"
}
#pragma code_seg(pop)
#line __LINE__ __FILE__

#pragma data_seg(push, "programs")
static program_entry_t _programs[] = {
    {
        0,
        BindMonitor,
        "bind",
        "bind",
        "BindMonitor",
        BindMonitor_maps,
        2,
        BindMonitor_helpers,
        2,
        16,
        &BindMonitor_program_type_guid,
        &BindMonitor_attach_type_guid,
    },
    {
        0,
        BindMonitor_Callee0,
        "bind/0",
        "bind/0",
        "BindMonitor_Callee0",
        BindMonitor_Callee0_maps,
        2,
        BindMonitor_Callee0_helpers,
        2,
        16,
        &BindMonitor_Callee0_program_type_guid,
        &BindMonitor_Callee0_attach_type_guid,
    },
    {
        0,
        BindMonitor_Callee1,
        "bind/1",
        "bind/1",
        "BindMonitor_Callee1",
        BindMonitor_Callee1_maps,
        2,
        BindMonitor_Callee1_helpers,
        3,
        94,
        &BindMonitor_Callee1_program_type_guid,
        &BindMonitor_Callee1_attach_type_guid,
    },
};
#pragma data_seg(pop)

static void
_get_programs(_Outptr_result_buffer_(*count) program_entry_t** programs, _Out_ size_t* count)
{
    *programs = _programs;
    *count = 3;
}

static void
_get_version(_Out_ bpf2c_version_t* version)
{
    version->major = 0;
    version->minor = 9;
    version->revision = 0;
}

metadata_table_t invalid_maps1_metadata_table = {
    sizeof(metadata_table_t), _get_programs, _get_maps, _get_hash, _get_version};