diff options
| author | dfr <dfr@FreeBSD.org> | 2001-09-25 19:44:19 +0000 |
|---|---|---|
| committer | dfr <dfr@FreeBSD.org> | 2001-09-25 19:44:19 +0000 |
| commit | 3282be0059c853ebcc8ac74cf5afa4607cfa3230 (patch) | |
| tree | e5f153ad83a63a03e28886fa0522d79a0eb73f54 /sys/boot/ia64/efi | |
| parent | 56d329bbdd2c3b2ede1d61b61879926ec44d4a3b (diff) | |
| download | FreeBSD-src-3282be0059c853ebcc8ac74cf5afa4607cfa3230.zip FreeBSD-src-3282be0059c853ebcc8ac74cf5afa4607cfa3230.tar.gz | |
Calculate the valid flag for ITRs and DTRs correctly. Also fix a couple
of minor problems and remove some debugging code.
Diffstat (limited to 'sys/boot/ia64/efi')
| -rw-r--r-- | sys/boot/ia64/efi/main.c | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/sys/boot/ia64/efi/main.c b/sys/boot/ia64/efi/main.c index d4f82a5..97eea20 100644 --- a/sys/boot/ia64/efi/main.c +++ b/sys/boot/ia64/efi/main.c @@ -128,12 +128,6 @@ efi_main (EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *system_table) bcache_init(32, 512); /* 16k XXX tune this */ find_pal_proc(); - printf("ia64_pal_entry=0x%lx\n", ia64_pal_entry); - - res = ia64_call_pal_static(PAL_CACHE_SUMMARY, 0, 0, 0); - printf("status=%d\n", res.pal_status); - printf("cache_levels=%d\n", res.pal_result[0]); - printf("unique_caches=%d\n", res.pal_result[1]); /* * March through the device switch probing for things. @@ -423,7 +417,6 @@ print_trs(int type) pager_output("V RID Virtual Page Physical Page PgSz ED AR PL D A MA P KEY\n"); for (i = 0; i <= maxtr; i++) { char lbuf[128]; - struct ia64_pte *pte; bzero(&buf, sizeof(buf)); res = ia64_call_pal_stacked(PAL_VM_TR_READ, i, type, @@ -438,7 +431,7 @@ print_trs(int type) buf.pte.pte_ma = 0; sprintf(lbuf, "%d %06x %013x %013x %4s %d %d %d %d %d %-3s %d %06x\n", - res.pal_result[0] != 0, + buf.ifa.ifa_ig & 1, buf.rr.rr_rid, buf.ifa.ifa_vpn, buf.pte.pte_ppn, @@ -454,6 +447,8 @@ print_trs(int type) pager_output(lbuf); } pager_close(); + + return CMD_OK; } COMMAND_SET(itr, "itr", "print instruction TRs", command_itr); |
