ept.c - OpenGrok cross reference for /seL4-master/src/arch/x86/kernel/ept.c

Lines Matching refs:current_syscall_error
125         current_syscall_error.type = seL4_FailedLookup;  in lookupEPTPDSlot()
126         current_syscall_error.failedLookupWasSource = false;  in lookupEPTPDSlot()
155         current_syscall_error.type = seL4_FailedLookup;  in lookupEPTPTSlot()
156         current_syscall_error.failedLookupWasSource = false;  in lookupEPTPTSlot()
279             current_syscall_error.type = seL4_RevokeFirst;  in decodeX86EPTPDPTInvocation()
288         current_syscall_error.type = seL4_IllegalOperation;  in decodeX86EPTPDPTInvocation()
294         current_syscall_error.type = seL4_TruncatedMessage;  in decodeX86EPTPDPTInvocation()
300         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPDPTInvocation()
301         current_syscall_error.invalidCapNumber = 0;  in decodeX86EPTPDPTInvocation()
315         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPDPTInvocation()
316         current_syscall_error.invalidCapNumber = 1;  in decodeX86EPTPDPTInvocation()
326         current_syscall_error.type = seL4_FailedLookup;  in decodeX86EPTPDPTInvocation()
327         current_syscall_error.failedLookupWasSource = false;  in decodeX86EPTPDPTInvocation()
333         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPDPTInvocation()
334         current_syscall_error.invalidCapNumber = 1;  in decodeX86EPTPDPTInvocation()
343         current_syscall_error.type = seL4_DeleteFirst;  in decodeX86EPTPDPTInvocation()
482             current_syscall_error.type = seL4_RevokeFirst;  in decodeX86EPTPDInvocation()
491         current_syscall_error.type = seL4_IllegalOperation;  in decodeX86EPTPDInvocation()
497         current_syscall_error.type = seL4_TruncatedMessage;  in decodeX86EPTPDInvocation()
503         current_syscall_error.type =  in decodeX86EPTPDInvocation()
505         current_syscall_error.invalidCapNumber = 0;  in decodeX86EPTPDInvocation()
516         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPDInvocation()
517         current_syscall_error.invalidCapNumber = 1;  in decodeX86EPTPDInvocation()
528         current_syscall_error.type = seL4_FailedLookup;  in decodeX86EPTPDInvocation()
529         current_syscall_error.failedLookupWasSource = false;  in decodeX86EPTPDInvocation()
536         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPDInvocation()
537         current_syscall_error.invalidCapNumber = 1;  in decodeX86EPTPDInvocation()
544         current_syscall_error.type = seL4_FailedLookup;  in decodeX86EPTPDInvocation()
545         current_syscall_error.failedLookupWasSource = false;  in decodeX86EPTPDInvocation()
551         current_syscall_error.type = seL4_DeleteFirst;  in decodeX86EPTPDInvocation()
669             current_syscall_error.type = seL4_RevokeFirst;  in decodeX86EPTPTInvocation()
678         current_syscall_error.type = seL4_IllegalOperation;  in decodeX86EPTPTInvocation()
684         current_syscall_error.type = seL4_TruncatedMessage;  in decodeX86EPTPTInvocation()
690         current_syscall_error.type =  in decodeX86EPTPTInvocation()
692         current_syscall_error.invalidCapNumber = 0;  in decodeX86EPTPTInvocation()
704         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPTInvocation()
705         current_syscall_error.invalidCapNumber = 1;  in decodeX86EPTPTInvocation()
715         current_syscall_error.type = seL4_FailedLookup;  in decodeX86EPTPTInvocation()
716         current_syscall_error.failedLookupWasSource = false;  in decodeX86EPTPTInvocation()
722         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPTInvocation()
723         current_syscall_error.invalidCapNumber = 1;  in decodeX86EPTPTInvocation()
730         current_syscall_error.type = seL4_FailedLookup;  in decodeX86EPTPTInvocation()
731         current_syscall_error.failedLookupWasSource = false;  in decodeX86EPTPTInvocation()
741         current_syscall_error.type = seL4_DeleteFirst;  in decodeX86EPTPTInvocation()
813         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPageMap()
814         current_syscall_error.invalidCapNumber = 0;  in decodeX86EPTPageMap()
824         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPageMap()
825         current_syscall_error.invalidCapNumber = 1;  in decodeX86EPTPageMap()
835         current_syscall_error.type = seL4_FailedLookup;  in decodeX86EPTPageMap()
836         current_syscall_error.failedLookupWasSource = false;  in decodeX86EPTPageMap()
842         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPageMap()
843         current_syscall_error.invalidCapNumber = 1;  in decodeX86EPTPageMap()
852         current_syscall_error.type = seL4_AlignmentError;  in decodeX86EPTPageMap()
871             current_syscall_error.type = seL4_FailedLookup;  in decodeX86EPTPageMap()
872             current_syscall_error.failedLookupWasSource = false;  in decodeX86EPTPageMap()
879             current_syscall_error.type = seL4_DeleteFirst;  in decodeX86EPTPageMap()
903             current_syscall_error.type = seL4_FailedLookup;  in decodeX86EPTPageMap()
904             current_syscall_error.failedLookupWasSource = false;  in decodeX86EPTPageMap()
913             current_syscall_error.type = seL4_DeleteFirst;  in decodeX86EPTPageMap()
920             current_syscall_error.type = seL4_DeleteFirst;  in decodeX86EPTPageMap()
926             current_syscall_error.type = seL4_DeleteFirst;  in decodeX86EPTPageMap()
956         current_syscall_error.type = seL4_InvalidCapability;  in decodeX86EPTPageMap()
957         current_syscall_error.invalidCapNumber = 0;  in decodeX86EPTPageMap()