static void test_io_rw_interface(enum AddrMode lba48, enum IOMode dma,

                                 unsigned bufsize, uint64_t sector)

{

    AHCIQState *ahci;



    ahci = ahci_boot_and_enable();

    ahci_test_io_rw_simple(ahci, bufsize, sector,

                           io_cmds[dma][lba48][IO_READ],

                           io_cmds[dma][lba48][IO_WRITE]);

    ahci_shutdown(ahci);

}

static void test_io_rw_interface(enum AddrMode lba48, enum IOMode dma,

                                 unsigned bufsize, uint64_t sector)

{

    AHCIQState *ahci;



    ahci = ahci_boot_and_enable();

    ahci_test_io_rw_simple(ahci, bufsize, sector,

                           io_cmds[dma][lba48][IO_READ],

                           io_cmds[dma][lba48][IO_WRITE]);

    ahci_shutdown(ahci);

}

static void FUNC_0(enum AddrMode VAR_0, enum IOMode VAR_1,

                                 unsigned VAR_2, uint64_t VAR_3)

{

    AHCIQState *ahci;



    ahci = ahci_boot_and_enable();

    ahci_test_io_rw_simple(ahci, VAR_2, VAR_3,

                           io_cmds[VAR_1][VAR_0][IO_READ],

                           io_cmds[VAR_1][VAR_0][IO_WRITE]);

    ahci_shutdown(ahci);

}

static void FUNC_0(enum AddrMode VAR_0, enum IOMode VAR_1,
unsigned VAR_2, uint64_t VAR_3)
{ AHCIQState *ahci; ahci = ahci_boot_and_enable(); ahci_test_io_rw_simple(ahci, VAR_2, VAR_3,
io_cmds[VAR_1][VAR_0][IO_READ],
io_cmds[VAR_1][VAR_0][IO_WRITE]); ahci_shutdown(ahci); }