arch_get_n_paging (definition) in projects: seL4-master

Searched defs:arch_get_n_paging (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A D	vspace.c	`422 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() function`
/seL4-master/src/arch/riscv/kernel/
A D	vspace.c	`251 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() function`
/seL4-master/src/arch/x86/64/kernel/
A D	vspace.c	`679 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() function`
/seL4-master/src/arch/arm/32/kernel/
A D	vspace.c	`485 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() function`
/seL4-master/src/arch/arm/64/kernel/
A D	vspace.c	`465 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg) in arch_get_n_paging() function`

Completed in 35 milliseconds