Floating point instruction sets of ARM in Debian Linux.

["Ming Chen" <chenm@cs.man.ac.uk>]

Hi,

Where can I find the reference or manual for the floating point instruction
set of ARM?

I can not find the following instruction in the ARM Architecture.

ADFD
MUFD
DVFD

Thanks.

Ming Chen