|
@@ -590,7 +590,7 @@ static void xen_load_gdt(const struct desc_ptr *dtr)
|
|
{
|
|
{
|
|
unsigned long va = dtr->address;
|
|
unsigned long va = dtr->address;
|
|
unsigned int size = dtr->size + 1;
|
|
unsigned int size = dtr->size + 1;
|
|
- unsigned pages = (size + PAGE_SIZE - 1) / PAGE_SIZE;
|
|
|
|
|
|
+ unsigned pages = DIV_ROUND_UP(size, PAGE_SIZE);
|
|
unsigned long frames[pages];
|
|
unsigned long frames[pages];
|
|
int f;
|
|
int f;
|
|
|
|
|
|
@@ -639,7 +639,7 @@ static void __init xen_load_gdt_boot(const struct desc_ptr *dtr)
|
|
{
|
|
{
|
|
unsigned long va = dtr->address;
|
|
unsigned long va = dtr->address;
|
|
unsigned int size = dtr->size + 1;
|
|
unsigned int size = dtr->size + 1;
|
|
- unsigned pages = (size + PAGE_SIZE - 1) / PAGE_SIZE;
|
|
|
|
|
|
+ unsigned pages = DIV_ROUND_UP(size, PAGE_SIZE);
|
|
unsigned long frames[pages];
|
|
unsigned long frames[pages];
|
|
int f;
|
|
int f;
|
|
|
|
|