#include <stdint.h>
#include "x86int.h"
Go to the source code of this file.
◆ CLI_SAVE_INDEX
#define CLI_SAVE_INDEX 48 |
◆ INTERRUPT_STATE_IDX
#define INTERRUPT_STATE_IDX 13 |
◆ STI_SAVE_INDEX
#define STI_SAVE_INDEX 49 |
◆ fix_eflags_gate_ctx()
◆ fix_eflags_iret_ctx()
◆ get_int_state()
uint32_t get_int_state |
( |
uint32_t |
child_vaddr | ) |
|
◆ get_self_int_state()
uint32_t get_self_int_state |
( |
| ) |
|
◆ kernel_set_int_state()
void kernel_set_int_state |
( |
uint32_t |
interrupt_mask | ) |
|
◆ set_int_state()
void set_int_state |
( |
gate_ctx_t * |
ctx, |
|
|
uint32_t |
interrupt_mask |
|
) |
| |