1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19#include "dscr.h"
20
21static int check_dscr(char *str)
22{
23 unsigned long cur_dscr, cur_dscr_usr;
24
25 cur_dscr = get_dscr();
26 cur_dscr_usr = get_dscr_usr();
27 if (cur_dscr != cur_dscr_usr) {
28 printf("%s set, kernel get %lx != user get %lx\n",
29 str, cur_dscr, cur_dscr_usr);
30 return 1;
31 }
32 return 0;
33}
34
35int dscr_user(void)
36{
37 int i;
38
39 SKIP_IF(!have_hwcap2(PPC_FEATURE2_DSCR));
40
41 check_dscr("");
42
43 for (i = 0; i < COUNT; i++) {
44 set_dscr(i);
45 if (check_dscr("kernel"))
46 return 1;
47 }
48
49 for (i = 0; i < COUNT; i++) {
50 set_dscr_usr(i);
51 if (check_dscr("user"))
52 return 1;
53 }
54 return 0;
55}
56
57int main(int argc, char *argv[])
58{
59 return test_harness(dscr_user, "dscr_user_test");
60}
61