Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame^] | 1 | #include "api.h" |
| 2 | #include "arch_api.h" |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 3 | #include "cpu.h" |
| 4 | #include "dlog.h" |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 5 | #include "vm.h" |
| 6 | |
| 7 | #include "msr.h" |
| 8 | |
| 9 | struct hvc_handler_return { |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 10 | long user_ret; |
| 11 | struct vcpu *new; |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 12 | }; |
| 13 | |
| 14 | void irq_current(void) |
| 15 | { |
| 16 | dlog("IRQ from current\n"); |
| 17 | for (;;); |
| 18 | } |
| 19 | |
| 20 | void sync_current_exception(uint64_t esr, uint64_t elr) |
| 21 | { |
| 22 | dlog("Exception: esr=%#x, elr=%#x\n", esr, elr); |
| 23 | for (;;); |
| 24 | } |
| 25 | |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 26 | struct hvc_handler_return hvc_handler(size_t arg0, size_t arg1, size_t arg2, |
| 27 | size_t arg3) |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 28 | { |
| 29 | struct hvc_handler_return ret; |
| 30 | |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 31 | ret.new = NULL; |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 32 | |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 33 | switch (arg0) { |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 34 | case 0x84000000: /* PSCI_VERSION */ |
| 35 | ret.user_ret = 2; |
| 36 | break; |
| 37 | |
| 38 | case 0x84000006: /* PSCI_MIGRATE */ |
| 39 | ret.user_ret = 2; |
| 40 | break; |
| 41 | |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 42 | case HF_VM_GET_COUNT: |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame^] | 43 | ret.user_ret = api_vm_get_count(); |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 44 | break; |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 45 | |
| 46 | case HF_VCPU_GET_COUNT: |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame^] | 47 | ret.user_ret = api_vcpu_get_count(arg1); |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 48 | break; |
| 49 | |
| 50 | case HF_VCPU_RUN: |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame^] | 51 | ret.user_ret = api_vcpu_run(arg1, arg2, &ret.new); |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 52 | break; |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 53 | |
| 54 | default: |
| 55 | ret.user_ret = -1; |
| 56 | } |
| 57 | |
| 58 | return ret; |
| 59 | } |
| 60 | |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 61 | struct vcpu *irq_lower(void) |
| 62 | { |
| 63 | /* TODO: Only switch if we know the interrupt was not for the secondary |
| 64 | * VM. */ |
| 65 | |
| 66 | /* Switch back to primary VM, interrupts will be handled there. */ |
| 67 | arch_set_vm_mm(&primary_vm.page_table); |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame^] | 68 | return &primary_vm.vcpus[cpu_index(cpu())]; |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 69 | } |
| 70 | |
| 71 | struct vcpu *sync_lower_exception(uint64_t esr) |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 72 | { |
| 73 | struct cpu *c = cpu(); |
| 74 | struct vcpu *vcpu = c->current; |
| 75 | |
| 76 | switch (esr >> 26) { |
| 77 | case 0x01: /* EC = 000001, WFI or WFE. */ |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 78 | /* Check TI bit of ISS, 0 = WFI, 1 = WFE. */ |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 79 | if (esr & 1) |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 80 | return NULL; |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame^] | 81 | return api_wait_for_interrupt(); |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 82 | |
| 83 | case 0x24: /* EC = 100100, Data abort. */ |
| 84 | dlog("Data abort: pc=0x%x, esr=0x%x, ec=0x%x", vcpu->regs.pc, esr, esr >> 26); |
| 85 | if (!(esr & (1u << 10))) /* Check FnV bit. */ |
| 86 | dlog(", far=0x%x, hpfar=0x%x", read_msr(far_el2), read_msr(hpfar_el2) << 8); |
| 87 | else |
| 88 | dlog(", far=invalid"); |
| 89 | |
| 90 | dlog("\n"); |
| 91 | for (;;); |
| 92 | |
| 93 | default: |
| 94 | dlog("Unknown sync exception pc=0x%x, esr=0x%x, ec=0x%x\n", vcpu->regs.pc, esr, esr >> 26); |
| 95 | for (;;); |
| 96 | } |
| 97 | |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 98 | return NULL; |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 99 | } |