2018-01-26 08:43:22 +00:00
|
|
|
#ifndef _KERNEL_KE_INTR_H_
|
|
|
|
#define _KERNEL_KE_INTR_H_
|
2017-02-01 03:26:08 +00:00
|
|
|
|
2018-01-26 08:43:22 +00:00
|
|
|
#include "kernel/hal/intr.h"
|
|
|
|
#include "type.h"
|
2017-02-01 03:26:08 +00:00
|
|
|
|
|
|
|
irql_t KABI ke_raise_irql(irql_t irql);
|
|
|
|
|
|
|
|
irql_t KABI ke_lower_irql(irql_t irql);
|
|
|
|
|
2017-03-10 02:50:35 +00:00
|
|
|
int KABI ke_get_current_core();
|
|
|
|
|
|
|
|
irql_t KABI ke_get_irql();
|
|
|
|
|
2018-01-26 08:43:22 +00:00
|
|
|
void KABI ke_halt_cpu();
|
|
|
|
|
2017-02-01 03:26:08 +00:00
|
|
|
#endif
|