d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Don't read the floating-point registers for now. We will need to enable the

Browse Source 
VFP around the read of these instructions as they may raise an exception.

Sponsored by:	ABT Systems Ltd
This commit is contained in:
Andrew Turner 2015-09-18 13:44:15 +00:00
parent 59bb97a934
commit cf8b6f76a2
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
sys/arm64/arm64/machdep.c
View File

@ -894,8 +894,11 @@ DB_SHOW_COMMAND(specialregs, db_show_spregs)
PRINT_REG(elr_el1);
PRINT_REG(esr_el1);
PRINT_REG(far_el1);
#if 0
/* ARM64TODO: Enable VFP before reading floating-point registers */
PRINT_REG(fpcr);
PRINT_REG(fpsr);
#endif
PRINT_REG(id_aa64afr0_el1);
PRINT_REG(id_aa64afr1_el1);
PRINT_REG(id_aa64dfr0_el1);