Searched refs:frameSize (Results 1 - 9 of 9) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c376 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 Dvspace.c58 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 Dcapdl.c430 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 Dvspace.c103 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 Dvspace.c663 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 Dvspace.c32 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 Dept.c806 vm_page_size_t frameSize; local
809 frameSize = cap_frame_cap_get_capFSize(cap);
858 if (!checkVPAlignment(frameSize, vaddr)) {
870 switch (frameSize) {
H A Dvspace.c944 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 Dvspace.c1628 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