When performing a x86 TSS task switch (using JMPF,CALLF or an IRET(D) with NT set), when is the PDPT 4 entry table (for PAE mode) loaded and verified? Is that done in the context of the incoming(like most other general purpose registers and selectors) or outgoing task?