Searched refs:kernel_devices (Results 1 - 18 of 18) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dhardware.c53 for (int i = 0; i < ARRAY_SIZE(kernel_devices); i++) {
54 map_kernel_frame(kernel_devices[i].paddr,
55 kernel_devices[i].pptr,
57 vm_attributes_new(kernel_devices[i].armExecuteNever,
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/machine/
H A Dhardware.c55 for (int i = 0; i < ARRAY_SIZE(kernel_devices); i++) {
56 map_kernel_frame(kernel_devices[i].paddr,
57 kernel_devices[i].pptr,
59 vm_attributes_new(kernel_devices[i].armExecuteNever,
/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/
H A Dhardware.h23 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/
H A Dhardware.h26 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/tx2/plat/machine/
H A Dhardware.h43 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/
H A Dhardware.h33 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dhardware.h23 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/machine/
H A Dhardware.h23 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/machine/
H A Dhardware.h47 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Dhardware.h24 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dhardware.h23 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/imx7/plat/machine/
H A Dhardware.h22 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/imx6/plat/machine/
H A Dhardware.h24 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dhardware.h24 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/exynos4/plat/machine/
H A Dhardware.h22 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/
H A Dhardware.h30 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/apq8064/plat/machine/
H A Dhardware.h22 static const BOOT_RODATA kernel_frame_t kernel_devices[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/exynos5/plat/machine/
H A Dhardware.h24 static const kernel_frame_t BOOT_RODATA kernel_devices[] = { variable

Completed in 106 milliseconds