portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial: fix style

Browse source 
Signed-off-by: Curtis Millar <curtis@curtism.me>
This commit is contained in:
Curtis Millar 2020-11-10 16:27:59 +11:00
parent 1ce721b418
commit c2b7118fa8
No known key found for this signature in database
GPG key ID: 836B6EBF7E3C490A
1 changed files with 12 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
src/arch/x86/64/kernel/vspace.c
View file

@ -1661,18 +1661,18 @@ exception_t benchmark_arch_map_logBuffer(word_t frame_cptr)
paddr_t physical_address = ksUserLogBuffer + (idx << seL4_PageBits);
pde_t pde = pde_pde_large_new(
0, /* xd */
physical_address, /* page_base_address */
VMKernelOnly, /* pat */
1, /* global */
0, /* dirty */
0, /* accessed */
0, /* cache_disabled */
1, /* write_through */
1, /* super_user */
1, /* read_write */
1 /* present */
);
0, /* xd */
physical_address, /* page_base_address */
VMKernelOnly, /* pat */
1, /* global */
0, /* dirty */
0, /* accessed */
0, /* cache_disabled */
1, /* write_through */
1, /* super_user */
1, /* read_write */
1 /* present */
);
/* Stored in the PD slot after the device page table */
x64KSKernelPDs[BIT(PDPT_INDEX_BITS) - 1][1] = pde;