Lines Matching refs:current_syscall_error
319 current_syscall_error.type = seL4_TruncatedMessage; in decodeVCPUWriteReg()
326 current_syscall_error.type = seL4_InvalidArgument; in decodeVCPUWriteReg()
327 current_syscall_error.invalidArgumentNumber = 1; in decodeVCPUWriteReg()
355 current_syscall_error.type = seL4_TruncatedMessage; in decodeVCPUReadReg()
363 current_syscall_error.type = seL4_InvalidArgument; in decodeVCPUReadReg()
364 current_syscall_error.invalidArgumentNumber = 1; in decodeVCPUReadReg()
397 current_syscall_error.type = seL4_TruncatedMessage; in decodeVCPUInjectIRQ()
412 current_syscall_error.type = seL4_TruncatedMessage; in decodeVCPUInjectIRQ()
426 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
427 current_syscall_error.rangeErrorMin = 0; in decodeVCPUInjectIRQ()
428 current_syscall_error.rangeErrorMax = (1U << 10) - 1; in decodeVCPUInjectIRQ()
429 current_syscall_error.invalidArgumentNumber = 1; in decodeVCPUInjectIRQ()
430 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
434 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
435 current_syscall_error.rangeErrorMin = 0; in decodeVCPUInjectIRQ()
436 current_syscall_error.rangeErrorMax = 31; in decodeVCPUInjectIRQ()
437 current_syscall_error.invalidArgumentNumber = 2; in decodeVCPUInjectIRQ()
438 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
442 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
443 current_syscall_error.rangeErrorMin = 0; in decodeVCPUInjectIRQ()
444 current_syscall_error.rangeErrorMax = 1; in decodeVCPUInjectIRQ()
445 current_syscall_error.invalidArgumentNumber = 3; in decodeVCPUInjectIRQ()
446 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
451 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
452 current_syscall_error.rangeErrorMin = 0; in decodeVCPUInjectIRQ()
453 current_syscall_error.rangeErrorMax = gic_vcpu_num_list_regs - 1; in decodeVCPUInjectIRQ()
454 current_syscall_error.invalidArgumentNumber = 4; in decodeVCPUInjectIRQ()
455 current_syscall_error.type = seL4_RangeError; in decodeVCPUInjectIRQ()
461 current_syscall_error.type = seL4_DeleteFirst; in decodeVCPUInjectIRQ()
493 current_syscall_error.type = seL4_IllegalOperation; in decodeARMVCPUInvocation()
503 current_syscall_error.type = seL4_TruncatedMessage; in decodeVCPUAckVPPI()
517 current_syscall_error.type = seL4_InvalidArgument; in decodeVCPUAckVPPI()
518 current_syscall_error.invalidArgumentNumber = 0; in decodeVCPUAckVPPI()
537 current_syscall_error.type = seL4_TruncatedMessage; in decodeVCPUSetTCB()
544 current_syscall_error.type = seL4_IllegalOperation; in decodeVCPUSetTCB()