Stack Checking for 64 bit ?

[Alexbruliau]

TX_STACK_FILL ((ULONG) 0xEFEFEFEFUL) works for a 64 bits port like risc-V64 ? In my case, it is simply expanded to 0x00000000EFEFEFEFUL and the task checking always failed..