Skip to content
Snippets Groups Projects
Commit fa3989ef authored by Adrian Danis's avatar Adrian Danis
Browse files

trivial: style

parent 91b38f37
No related branches found
No related tags found
No related merge requests found
......@@ -259,20 +259,21 @@ x86_make_empty_pte(void)
}
static inline pde_t
x86_make_pde_mapping(word_t paddr, vm_attributes_t attr) {
x86_make_pde_mapping(word_t paddr, vm_attributes_t attr)
{
return pde_pde_large_new(
paddr, /* page_base_address */
vm_attributes_get_ia32PATBit(attr), /* pat */
0, /* avl_cte_depth */
1, /* global */
0, /* dirty */
0, /* accessed */
vm_attributes_get_ia32PCDBit(attr), /* cache_disabled */
vm_attributes_get_ia32PWTBit(attr), /* write_through */
0, /* super_user */
1, /* read_write */
1 /* present */
);
paddr, /* page_base_address */
vm_attributes_get_ia32PATBit(attr), /* pat */
0, /* avl_cte_depth */
1, /* global */
0, /* dirty */
0, /* accessed */
vm_attributes_get_ia32PCDBit(attr), /* cache_disabled */
vm_attributes_get_ia32PWTBit(attr), /* write_through */
0, /* super_user */
1, /* read_write */
1 /* present */
);
}
#endif
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment