Michael Scire 9e99f36d7c kern: remove unnecessary fields from InitArgs (0x80 -> 0x40)

2023-10-11 03:10:08 -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_asm.s

…

kern_k_sleep_manager.cpp

…

kern_k_sleep_manager.hpp

…

kern_k_system_control.cpp

…

kern_lps_driver.cpp

…

kern_lps_driver.hpp

…

kern_secure_monitor.cpp

…

kern_secure_monitor.hpp

…

kern_sema_registers.hpp

…