void net_set_boot_mask(int net_boot_mask)

{

    int i;



    /* Only the first four NICs may be bootable */

    net_boot_mask = net_boot_mask & 0xF;



    for (i = 0; i < nb_nics; i++) {

        if (net_boot_mask & (1 << i)) {

            net_boot_mask &= ~(1 << i);

        }

    }



    if (net_boot_mask) {

        fprintf(stderr, "Cannot boot from non-existent NIC\n");

        exit(1);

    }

}

void net_set_boot_mask(int net_boot_mask)

{

    int i;



    

    net_boot_mask = net_boot_mask & 0xF;



    for (i = 0; i < nb_nics; i++) {

        if (net_boot_mask & (1 << i)) {

            net_boot_mask &= ~(1 << i);

        }

    }



    if (net_boot_mask) {

        fprintf(stderr, "Cannot boot from non-existent NIC\n");

        exit(1);

    }

}

void FUNC_0(int VAR_0)

{

    int VAR_1;



    

    VAR_0 = VAR_0 & 0xF;



    for (VAR_1 = 0; VAR_1 < nb_nics; VAR_1++) {

        if (VAR_0 & (1 << VAR_1)) {

            VAR_0 &= ~(1 << VAR_1);

        }

    }



    if (VAR_0) {

        fprintf(stderr, "Cannot boot from non-existent NIC\n");

        exit(1);

    }

}

void FUNC_0(int VAR_0)
{ int VAR_1; VAR_0 = VAR_0 & 0xF; for (VAR_1 = 0; VAR_1 < nb_nics; VAR_1++) { if (VAR_0 & (1 << VAR_1)) { VAR_0 &= ~(1 << VAR_1); } } if (VAR_0) { fprintf(stderr, "Cannot boot from non-existent NIC\n"); exit(1); } }