Change Details

While most 64-bit architectures have an assembly implementation of this file RISC-V does not. As we now copy 8 bytes instead of 4 it should speed up RISC-V. Using intptr_t instead of int also allows using this file for CHERI as trying to copy pointers using integer loads/stores will invalidate the pointers. Obtained from: CheriBSD (partially)

While most 64-bit architectures have an assembly implementation of this file RISC-V does not. As we now copy 8 bytes instead of 4 it should speed up RISC-V. Using intptr_t instead of int also allows using this file for CHERI pure-capability code since trying to copy pointers using integer loads/stores will invalidate pointers. Obtained from: CheriBSD (partially)

While most 64-bit architectures have an assembly implementation of this file RISC-V does not. As we now copy 8 bytes instead of 4 it should speed up RISC-V. Using intptr_t instead of int also allows using this file for CHERI aspure-capability code since trying to copy pointers using integer loads/stores will invalidate thloads/stores will invalidate pointers. Obtained from: CheriBSD (partially)