libsel4vmm/include/vmm/processor/lapic.h

/*
 * Copyright 2014, NICTA
 *
 * This software may be distributed and modified according to the terms of
 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
 * See "LICENSE_GPLv2.txt" for details.
 *
 * @TAG(NICTA_GPL)
 */

#ifndef __VMM_X86_LAPIC_H
#define __VMM_X86_LAPIC_H

enum vmm_lapic_state {
    LAPIC_STATE_NEW,
    LAPIC_STATE_WAITSIPI,
    LAPIC_STATE_RUN
};

#if 0
struct vmm_timer {
    struct hrtimer timer;
    int64_t period;                 /* unit: ns */
    uint32_t timer_mode_mask;
    uint64_t tscdeadline;
    atomic_t pending;           /* accumulated triggered timers */
};
#endif

typedef struct vmm_lapic {
    uint32_t apic_base; // BSP flag is ignored in this

    //struct vmm_timer lapic_timer;
    uint32_t divide_count;

    bool irr_pending;
    /* Number of bits set in ISR. */
    int16_t isr_count;
    /* The highest vector set in ISR; if -1 - invalid, must scan ISR. */
    int highest_isr_cache;
    /**
     * APIC register page.  The layout matches the register layout seen by
     * the guest 1:1, because it is accessed by the vmx microcode. XXX ???
     * Note: Only one register, the TPR, is used by the microcode.
     */
    void *regs;
    unsigned int sipi_vector;

    enum vmm_lapic_state state; 
    int arb_prio;
} vmm_lapic_t;

int vmm_apic_enabled(vmm_lapic_t *apic);

int vmm_create_lapic(vmm_vcpu_t *vcpu, int enabled);
void vmm_free_lapic(vmm_vcpu_t *vcpu);

int vmm_apic_has_interrupt(vmm_vcpu_t *vcpu);
int vmm_apic_get_interrupt(vmm_vcpu_t *vcpu);

void vmm_apic_consume_extints(vmm_vcpu_t *vcpu, int (*get)(void));

/* MSR functions */
void vmm_lapic_set_base_msr(vmm_vcpu_t *vcpu, uint32_t value);
uint32_t vmm_lapic_get_base_msr(vmm_vcpu_t *vcpu);

int vmm_apic_local_deliver(vmm_vcpu_t *vcpu, int lvt_type);
int vmm_apic_accept_pic_intr(vmm_vcpu_t *vcpu);

void vmm_apic_mmio_write(vmm_vcpu_t *vcpu, void *cookie, uint32_t offset,
        int len, const uint32_t data);
void vmm_apic_mmio_read(vmm_vcpu_t *vcpu, void *cookie, uint32_t offset,
        int len, uint32_t *data);

uint64_t vmm_get_lapic_tscdeadline_msr(vmm_vcpu_t *vcpu);
void vmm_set_lapic_tscdeadline_msr(vmm_vcpu_t *vcpu, uint64_t data);

#endif