On Sun, Jun 14, 2015 at 11:05:07AM +0200, Pali Rohár wrote:
> Hello,
>
> in drivers/platform/x86/dell-laptop.c is this part of code:
>
> static int __init dell_init(void)
> {
> ...
> /*
> * Allocate buffer below 4GB for SMI data--only 32-bit physical addr
> * is passed to SMI handler.
> */
> bufferpage = alloc_page(GFP_KERNEL | GFP_DMA32);
> if (!bufferpage) {
> ret = -ENOMEM;
> goto fail_buffer;
> }
> buffer = page_address(bufferpage);
>
> ret = dell_setup_rfkill();
>
> if (ret) {
> pr_warn("Unable to setup rfkill\n");
> goto fail_rfkill;
> }
> ...
> fail_rfkill:
> free_page((unsigned long)bufferpage);
> fail_buffer:
> ...
> }
>
> Then there is another part:
>
> static void __exit dell_exit(void)
> {
> ...
> free_page((unsigned long)buffer);
I believe you are correct, and this should be bufferpage. Have you observed any
failures?
--
Darren Hart
Intel Open Source Technology Center
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@xxxxxxxxx. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>