Searched refs:frameSize (Results 1 - 9 of 9) sorted by relevance
/seL4-test-master/kernel/src/arch/arm/32/machine/ |
H A D | capdl.c | 376 switch (ret.frameSize) { 417 ret.frameSize = ARMLargePage; 419 ret.frameSize = ARMSmallPage; 422 ret.frameSize = ARMSmallPage; 431 ret.frameSize = ARMLargePage; 438 ret.frameSize = ARMSmallPage; 440 i += (1 << pageBitsForSize(ret.frameSize)); 461 ret.frameSize = ARMSuperSection; 463 ret.frameSize = ARMSection; 470 ret.frameSize [all...] |
/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 58 vm_page_size_t frameSize; member in struct:resolve_ret 782 ret.frameSize = ARMSuperSection; 784 ret.frameSize = ARMSection; 791 ret.frameSize = ARMSuperSection; 793 ret.frameSize = ARMSection; 809 ret.frameSize = ARMLargePage; 811 ret.frameSize = ARMSmallPage; 814 ret.frameSize = ARMSmallPage; 821 ret.frameSize = ARMLargePage; 1612 (paddr_t base, word_t vaddr, vm_page_size_t frameSize, 1611 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument 1711 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument 2290 vm_page_size_t frameSize; local 2724 vm_page_size_t frameSize; local [all...] |
/seL4-test-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 430 switch (ret.frameSize) { 455 ret.frameSize = ARMSmallPage; 472 ret.frameSize = ARMLargePage; 496 ret.frameSize = ARMHugePage;
|
/seL4-test-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 103 vm_page_size_t frameSize; member in struct:lookupFrame_ret 759 ret.frameSize = ARMHugePage; 769 ret.frameSize = ARMLargePage; 780 ret.frameSize = ARMSmallPage; 1767 if (PAGE_BASE(start, resolve_ret.frameSize) != PAGE_BASE(end - 1, resolve_ret.frameSize)) { 1770 current_syscall_error.rangeErrorMax = PAGE_BASE(start, resolve_ret.frameSize) + 1771 MASK(pageBitsForSize(resolve_ret.frameSize)); 1776 pstart = resolve_ret.frameBase + PAGE_OFFSET(start, resolve_ret.frameSize); 2074 vm_page_size_t frameSize; local 2533 vm_page_size_t frameSize; local [all...] |
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 663 vm_page_size_t frameSize; local 683 frameSize = cap_frame_cap_get_capFSize(lu_ret.cap); 685 if (frameSize != X86_LargePage) {
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 32 vm_page_size_t frameSize; member in struct:resolve_ret 812 vm_page_size_t frameSize = cap_frame_cap_get_capFSize(cap); local 842 word_t vtop = vaddr + BIT(pageBitsForSize(frameSize)) - 1; 848 if (unlikely(!checkVPAlignment(frameSize, vaddr))) { 855 if (unlikely(lu_ret.ptBitsLeft != pageBitsForSize(frameSize))) { 1186 vm_page_size_t frameSize; local 1206 frameSize = cap_frame_cap_get_capFSize(lu_ret.cap); 1208 if (frameSize != RISCV_Mega_Page) {
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | ept.c | 806 vm_page_size_t frameSize; local 809 frameSize = cap_frame_cap_get_capFSize(cap); 858 if (!checkVPAlignment(frameSize, vaddr)) { 870 switch (frameSize) {
|
H A D | vspace.c | 944 vm_page_size_t frameSize; local 953 frameSize = cap_frame_cap_get_capFSize(cap); 994 vtop = vaddr + BIT(pageBitsForSize(frameSize)); 1027 if (!checkVPAlignment(frameSize, vaddr)) { 1039 switch (frameSize) { 1067 return decodeX86ModeMapPage(invLabel, frameSize, cte, cap, vspace, vaddr, paddr, vmRights, vmAttr);
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1628 vm_page_size_t frameSize; local 1648 frameSize = cap_frame_cap_get_capFSize(lu_ret.cap); 1650 if (frameSize != X86_LargePage) {
|
Completed in 92 milliseconds