// Main script

log_inf("Loading system init script");

var register_names = [
    "rax",
    "rbx",
    "rcx",
    "rdx",
    "rdi",
    "rsi",
    "rbp",
    "rsp",
    "r8",
    "r9",
    "r10",
    "r11",
    "r12",
    "r13",
    "r14",
    "r15",
    "rip",
    "rflags",
    "cs",
    "orig_rax",
    "fs_base",
    "gs_base",
    "fs",
    "gs",
    "ss",
    "ds",
    "es",
];

function dump_regs()
{
    log_inf("Register dump:");
    for (var i = 0; i < register_names.length; i++) {
        log_inf(register_names[i] + " " + get_reg(register_names[i]));
    }
}

function mem_read_reg(reg)
{
    return mem_read(get_reg(reg));
}

function mem_write_reg(reg, v)
{
    mem_write(get_reg(reg), v);
}

function print_file()
{
    log_inf("Debugging file \"" + get_file() + "\"");
}

function print_pid()
{
    log_inf("Debuggee PID is " + get_pid());
}

function print_program_load_offset()
{
    log_inf("Program load offset is " + get_program_load_offset());
}

load_script(".debugusrc1.js");