get_compat_ipmi_req - Linux

Symbol: get_compat_ipmi_req

drivers/char/ipmi/ipmi_devintf.c

get_compat_ipmi_req(&p64->req, &p32->req);

drivers/char/ipmi/ipmi_devintf.c

get_compat_ipmi_req(&rp, &r32);