Searched refs:phys (Results 1 – 25 of 29) sorted by relevance
12
| /seL4-master/src/plat/pc99/ |
| A D | linker.lds | 31 phys PT_LOAD FILEHDR PHDRS ;
43 .phys . :
46 *(.phys.text)
47 *(.phys.data)
49 } :phys
51 .phys.bss ADDR(.phys) + SIZEOF(.phys) + 4K (NOLOAD) :
57 *(.phys.bss)
58 } :phys
61 . = . + ((ADDR(.phys) + SIZEOF(.phys)) & (4K - 1));
|
| /seL4-master/include/arch/x86/arch/32/mode/kernel/ |
| A D | vspace.h | 12 static inline pte_t x86_make_device_pte(paddr_t phys) in x86_make_device_pte() argument
15 phys, /* page_base_address */ in x86_make_device_pte()
|
| /seL4-master/include/arch/x86/arch/64/mode/kernel/ |
| A D | vspace.h | 17 static inline pte_t x86_make_device_pte(paddr_t phys) in x86_make_device_pte() argument
21 phys, /* page_base_address */ in x86_make_device_pte()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 208 paddr_t phys; in map_kernel_window() local
217 phys = PADDR_BASE; in map_kernel_window()
225 phys, /* page_base_address */ in map_kernel_window()
238 phys += BIT(LARGE_PAGE_BITS); in map_kernel_window()
243 assert(phys == PADDR_TOP); in map_kernel_window()
259 phys += BIT(LARGE_PAGE_BITS); in map_kernel_window()
268 phys += TLBBITMAP_PD_RESERVED; in map_kernel_window()
|
| /seL4-master/src/arch/x86/64/ |
| A D | head.S | 31 .section .phys.text
304 .section .phys.data
326 .section .phys.bss
351 .section .phys.text
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 131 paddr_t phys; in map_kernel_window_devices() local
135 phys = apic_get_base_paddr(); in map_kernel_window_devices()
136 if (!phys) { in map_kernel_window_devices()
140 phys, phys + 0x1000 in map_kernel_window_devices()
144 pte = x86_make_device_pte(phys); in map_kernel_window_devices()
150 phys = ioapic_paddrs[i]; in map_kernel_window_devices()
152 phys, phys + 0x1000 in map_kernel_window_devices()
156 pte = x86_make_device_pte(phys); in map_kernel_window_devices()
174 phys = (paddr_t)drhu_list[i]; in map_kernel_window_devices()
176 phys, phys + 0x1000 in map_kernel_window_devices()
[all …]
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 199 paddr_t phys; in map_kernel_window() local
206 phys = physBase; in map_kernel_window()
213 phys, in map_kernel_window()
235 phys, in map_kernel_window()
254 assert(phys == PADDR_TOP); in map_kernel_window()
267 phys += BIT(pageBitsForSize(ARMSection)); in map_kernel_window()
301 paddr_t phys; in map_kernel_window() local
322 phys = physBase; in map_kernel_window()
328 phys, /* Address */ in map_kernel_window()
351 phys, /* Address */ in map_kernel_window()
[all …]
|
| /seL4-master/src/arch/x86/32/ |
| A D | head.S | 17 .section .phys.text
|
| /seL4-master/tools/dts/ |
| A D | apq8064.dts | 1504 phys = < 0x2d >;
1539 phys = < 0x33 >;
1574 phys = < 0x36 >;
1617 phys = < 0x38 >;
1778 phys = < 0x47 >;
1893 phys = < 0x4d >;
|
| A D | allwinnerA20.dts | 504 phys = < 0x19 0x00 >;
538 phys = < 0x19 0x01 >;
548 phys = < 0x19 0x01 >;
634 phys = < 0x19 0x02 >;
644 phys = < 0x19 0x02 >;
|
| A D | rockpro64.dts | 273 phys = < 0x15 0x00 0x15 0x01 0x15 0x02 0x15 0x03 >;
362 phys = < 0x20 >;
380 phys = < 0x22 >;
391 phys = < 0x22 >;
402 phys = < 0x24 >;
413 phys = < 0x24 >;
434 phys = < 0x25 0x26 >;
463 phys = < 0x27 0x28 >;
484 phys = < 0x29 0x2a >;
|
| A D | exynos4.dts | 227 phys = < 0x0a 0x01 >;
335 phys = < 0x0a 0x00 >;
350 phys = < 0x0a 0x02 >;
487 phys = < 0x21 0x00 >;
507 phys = < 0x21 0x01 >;
513 phys = < 0x21 0x02 >;
519 phys = < 0x21 0x03 >;
536 phys = < 0x21 0x01 >;
|
| A D | exynos5410.dts | 723 phys = < 0x29 0x00 0x29 0x01 >;
753 phys = < 0x2a 0x00 0x2a 0x01 >;
782 phys = < 0x2b 0x01 >;
797 phys = < 0x2b 0x01 >;
|
| A D | exynos5250.dts | 539 phys = < 0x16 >;
1598 phys = < 0x1f >;
1874 phys = < 0x35 0x00 0x35 0x01 >;
1900 phys = < 0x36 0x01 >;
1915 phys = < 0x36 0x01 >;
2089 phys = < 0x44 0x03 >;
|
| A D | exynos5422.dts | 240 phys = < 0x12 >;
756 phys = < 0x26 0x00 0x26 0x01 >;
786 phys = < 0x27 0x00 0x27 0x01 >;
815 phys = < 0x28 0x01 >;
830 phys = < 0x28 0x01 >;
2176 phys = < 0x46 0x01 >;
|
| A D | odroidc2.dts | 1209 phys = < 0x2c >;
1221 phys = < 0x2d >;
|
| A D | imx8mq-evk.dts | 716 phys = < 0x1d >;
750 phys = < 0x1d >;
1196 phys = < 0x30 0x00 0x30 0x01 >;
1243 phys = < 0x33 0x00 0x33 0x01 >;
|
| A D | rpi3.dts | 634 phys = < 0x18 >;
|
| A D | tqma8xqp1gb.dts | 3645 phys = <0xbd>;
3663 phys = <0xbd>;
3724 phys = <0xc4>;
3796 phys = <0xc9>;
3814 phys = <0xc9>;
3875 phys = <0xcf>;
|
| A D | tx1.dts | 56 phys = < 0x07 0x08 0x09 0x0a >;
70 phys = < 0x0b >;
2408 phys = < 0x25 >;
2433 phys = < 0x27 0x28 0x29 0x2a 0x2b 0x2c >;
|
| A D | odroidc4.dts | 153 phys = <0x06 0x02>;
2728 phys = <0x35 0x36 0x06 0x04>;
2739 phys = <0x36>;
|
| A D | am335x-bone.dts | 1505 phys = < 0x37 >;
1533 phys = < 0x3a >;
|
| A D | am335x-boneblack.dts | 1549 phys = < 0x3c >;
1577 phys = < 0x3f >;
|
| A D | am335x-boneblue.dts | 1550 phys = < 0x42 >;
1578 phys = < 0x45 >;
|
| A D | tk1.dts | 62 phys = < 0x07 >;
76 phys = < 0x08 >;
2695 phys = < 0x1a >;
2726 phys = < 0x1e 0x1f 0x20 0x21 >;
|
Completed in 51 milliseconds
12