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);