64-bit Windows seems to call into an exe's entrypoint with rcx = r8 = &PEB and rdx = r9 = &entrypoint as if the entrypoint were declared entrypoint(PEB *peb, void *entry).
Are these details specified anywhere or are these undocumented and not to be relied on?