[PATCH v4 03/12] efi: reserve boot service fix

2013-11-25 Thread Dave Young
Current code check boot service region with kernel text region by: start+size >= __pa_symbol(_text) The end of the above region should be start + size - 1 instead. I see this problem in ovmf + Fedora 19 grub boot: text start: 100 md start: 80 md size: 80 Signed-off-by: Dave Young

[PATCH v4 03/12] efi: reserve boot service fix

2013-11-25 Thread Dave Young
Current code check boot service region with kernel text region by: start+size = __pa_symbol(_text) The end of the above region should be start + size - 1 instead. I see this problem in ovmf + Fedora 19 grub boot: text start: 100 md start: 80 md size: 80 Signed-off-by: Dave Young