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 | ||
) |