|
|
|
@ -22,9 +22,7 @@
|
|
|
|
|
#include "core/arm/exclusive_monitor.h"
|
|
|
|
|
#include "core/core.h"
|
|
|
|
|
#include "core/core_timing.h"
|
|
|
|
|
#include "core/core_timing_util.h"
|
|
|
|
|
#include "core/cpu_manager.h"
|
|
|
|
|
#include "core/device_memory.h"
|
|
|
|
|
#include "core/hardware_properties.h"
|
|
|
|
|
#include "core/hle/kernel/init/init_slab_setup.h"
|
|
|
|
|
#include "core/hle/kernel/k_client_port.h"
|
|
|
|
@ -35,7 +33,6 @@
|
|
|
|
|
#include "core/hle/kernel/k_resource_limit.h"
|
|
|
|
|
#include "core/hle/kernel/k_scheduler.h"
|
|
|
|
|
#include "core/hle/kernel/k_shared_memory.h"
|
|
|
|
|
#include "core/hle/kernel/k_slab_heap.h"
|
|
|
|
|
#include "core/hle/kernel/k_thread.h"
|
|
|
|
|
#include "core/hle/kernel/k_worker_task_manager.h"
|
|
|
|
|
#include "core/hle/kernel/kernel.h"
|
|
|
|
|