ptr_write32()
function ptr_write32(pointer $pointer, int $value): void
Writes one 32-bit word through a raw pointer.
Parameters:
$pointer(pointer)$value(int)
Returns: void
No examples yet — check examples/ and showcases/ for usage patterns.
Internals
For how ptr_write32 is implemented in the compiler, see the internals page.