1 | /* |
---|
2 | * PAL/SAL call delegation |
---|
3 | * |
---|
4 | * Copyright (c) 2004 Li Susie <susie.li@intel.com> |
---|
5 | * Copyright (c) 2005 Yu Ke <ke.yu@intel.com> |
---|
6 | * |
---|
7 | * This program is free software; you can redistribute it and/or modify it |
---|
8 | * under the terms and conditions of the GNU General Public License, |
---|
9 | * version 2, as published by the Free Software Foundation. |
---|
10 | * |
---|
11 | * This program is distributed in the hope it will be useful, but WITHOUT |
---|
12 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
---|
13 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
---|
14 | * more details. |
---|
15 | * |
---|
16 | * You should have received a copy of the GNU General Public License along with |
---|
17 | * this program; if not, write to the Free Software Foundation, Inc., 59 Temple |
---|
18 | * Place - Suite 330, Boston, MA 02111-1307 USA. |
---|
19 | */ |
---|
20 | |
---|
21 | #include <xen/lib.h> |
---|
22 | #include <asm/vcpu.h> |
---|
23 | #include <asm/dom_fw.h> |
---|
24 | #include <asm/pal.h> |
---|
25 | #include <asm/sal.h> |
---|
26 | |
---|
27 | void |
---|
28 | pal_emul(struct vcpu *vcpu) |
---|
29 | { |
---|
30 | u64 gr28, gr29, gr30, gr31; |
---|
31 | struct ia64_pal_retval result; |
---|
32 | |
---|
33 | vcpu_get_gr_nat(vcpu, 28, &gr28); //bank1 |
---|
34 | |
---|
35 | /* FIXME: works only for static calling convention ? */ |
---|
36 | vcpu_get_gr_nat(vcpu, 29, &gr29); |
---|
37 | vcpu_get_gr_nat(vcpu, 30, &gr30); |
---|
38 | vcpu_get_gr_nat(vcpu, 31, &gr31); |
---|
39 | |
---|
40 | perfc_incr(vmx_pal_emul); |
---|
41 | result = xen_pal_emulator(gr28, gr29, gr30, gr31); |
---|
42 | |
---|
43 | vcpu_set_gr(vcpu, 8, result.status, 0); |
---|
44 | vcpu_set_gr(vcpu, 9, result.v0, 0); |
---|
45 | vcpu_set_gr(vcpu, 10, result.v1, 0); |
---|
46 | vcpu_set_gr(vcpu, 11, result.v2, 0); |
---|
47 | } |
---|
48 | |
---|
49 | void |
---|
50 | sal_emul(struct vcpu *v) |
---|
51 | { |
---|
52 | struct sal_ret_values result; |
---|
53 | result = sal_emulator(vcpu_get_gr(v, 32), vcpu_get_gr(v, 33), |
---|
54 | vcpu_get_gr(v, 34), vcpu_get_gr(v, 35), |
---|
55 | vcpu_get_gr(v, 36), vcpu_get_gr(v, 37), |
---|
56 | vcpu_get_gr(v, 38), vcpu_get_gr(v, 39)); |
---|
57 | |
---|
58 | vcpu_set_gr(v, 8, result.r8, 0); |
---|
59 | vcpu_set_gr(v, 9, result.r9, 0); |
---|
60 | vcpu_set_gr(v, 10, result.r10, 0); |
---|
61 | vcpu_set_gr(v, 11, result.r11, 0); |
---|
62 | } |
---|