openpic_cpu_write_internal
return openpic_cpu_write_internal(opp, addr, val,
static int openpic_cpu_write_internal(void *opaque, gpa_t addr,
err = openpic_cpu_write_internal(opp, addr, val,