x86: pgdir_t handles both KPT and EPT
[akaros.git] / Documentation / async_events.txt
index 9d3fee4..0e4778a 100644 (file)
@@ -441,7 +441,7 @@ Worth mentioning is the difference between 'notif_pending' and VC_CAN_RCV_MSG.
 VC_CAN_RCV_MSG is the process saying it will check for messages.
 'notif_pending' is when the kernel says it *has* sent a message.
 'notif_pending' is also used by the kernel in proc_yield() and the 2LS in
-pop_ros_tf() to make sure the sent message is not missed.
+pop_user_ctx() to make sure the sent message is not missed.
 
 Also, in case this comes up, there's a slight race on changing the mbox* and the
 vcore number within the event_q.  The message could have gone to the wrong (old)