Fix a bug. potential miss of page assignment for domain.
If mpaddr and size are not aligned well, the last page might be not
assigned for the domain.
Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
unsigned long flags)
{
//XXX optimization
- unsigned long end = mpaddr + size;
- for (; mpaddr < end; mpaddr += PAGE_SIZE) {
+ unsigned long end = PAGE_ALIGN(mpaddr + size);
+ for (mpaddr &= PAGE_MASK; mpaddr < end; mpaddr += PAGE_SIZE) {
__assign_domain_page(d, mpaddr, mpaddr, flags);
}
}