diff --git a/src/platform/platform_worker.c b/src/platform/platform_worker.c
index 38e7a76f34..48bcb810cf 100644
--- a/src/platform/platform_worker.c
+++ b/src/platform/platform_worker.c
@@ -121,6 +121,7 @@ WakeCompletion(
     UNREFERENCED_PARAMETER(Cqe);
 }
 
+_IRQL_requires_max_(PASSIVE_LEVEL)
 void
 CxPlatUpdateExecutionContexts(
     _In_ CXPLAT_WORKER* Worker