Lines Matching defs:message
33 /*! @brief Temporary internal VM fault message info struct. */
49 /*! @brief Helper function to print a rather colourful and verbose segmentation fault message.
50 @param message Text message containing fault reason.
51 @param f The fault message info structure.
54 output_segmentation_fault(const char* message, struct procserv_vmfault_msg *f)
61 ROS_ERROR(" Error Message: " COLOUR_R "%s" COLOUR_RESET, message);
65 /*! @brief Helper function to delegate fault message to an external endpoint.
67 Writes the given message to the delegator's notification ring buffer, and then sends an async
71 @param f The fault message info structure.
74 @param vmFaultNotification The VM fault noficfiation message contents.
122 @param m The recieved IPC fault message from the kernel.
123 @param f The VM fault message info struct.
216 @param m The recieved IPC fault message from the kernel.
217 @param f The VM fault message info struct.
258 Handles the VM fault message by looking up the details of the window that it faulted in, and
266 @param m The recieved IPC fault message from the kernel.
267 @param f The VM fault message info struct.
344 if (seL4_MessageInfo_get_label(m->message) != seL4_Fault_VMFault ||
369 /* Fill out the VM fault message info structure. */