get_compat_ipmi_req 684 drivers/char/ipmi/ipmi_devintf.c get_compat_ipmi_req(&p64->req, &p32->req); get_compat_ipmi_req 734 drivers/char/ipmi/ipmi_devintf.c get_compat_ipmi_req(&rp, &r32);