HYPERCALL_POST_MESSAGE
: "d" (0), "a" (HYPERCALL_POST_MESSAGE), "b" (0), "c" (static_cast<uint32>(physAddr)),
: "c" (HYPERCALL_POST_MESSAGE), "d" (physAddr), "m" (fHypercallPage));