|
Pip
Architecture-dependent parts of Pip: MAL, IAL and boot
|
#include <stdint.h>#include "maldefines.h"#include "Internal.h"#include "pip_interrupt_calls.h"#include "mal.h"#include "x86int.h"Functions | |
| void | set_int_state (gate_ctx_t *ctx, uint32_t interrupt_state) |
| void | kernel_set_int_state (uint32_t interrupt_state) |
| void | fix_eflags_gate_ctx (gate_ctx_t *ctx) |
| void | fix_eflags_iret_ctx (iret_ctx_t *ctx) |
| uint32_t | get_self_int_state () |
| uint32_t | get_int_state (uint32_t child_vaddr) |
| void fix_eflags_gate_ctx | ( | gate_ctx_t * | ctx | ) |
| void fix_eflags_iret_ctx | ( | iret_ctx_t * | ctx | ) |
| uint32_t get_int_state | ( | uint32_t | child_vaddr | ) |
| uint32_t get_self_int_state | ( | ) |
| void kernel_set_int_state | ( | uint32_t | interrupt_state | ) |
| void set_int_state | ( | gate_ctx_t * | ctx, |
| uint32_t | interrupt_state | ||
| ) |
1.8.13