Michael Scire 3522ac18c1 kern: support reboot to fatal error on mariko		2024-10-15 21:48:59 -07:00
..
kern_atomics_registers.hpp
kern_bpmp_api.hpp
kern_ictlr_registers.hpp
kern_k_device_page_table.cpp
kern_k_io_pool.board.nintendo_nx.inc
kern_k_sleep_manager.cpp	kern: allocate all TTBR0 pages during init, use procidx as asid	2024-10-15 21:48:59 -07:00
kern_k_sleep_manager.hpp
kern_k_sleep_manager_asm.s
kern_k_system_control.cpp	kern: support reboot to fatal error on mariko	2024-10-15 21:48:59 -07:00
kern_lps_driver.cpp
kern_lps_driver.hpp
kern_secure_monitor.cpp
kern_secure_monitor.hpp	kern: support reboot to fatal error on mariko	2024-10-15 21:48:59 -07:00
kern_sema_registers.hpp