Lines Matching refs:INT_ADDIU
64 INT_ADDIU k1, sp, -PT_SIZE
128 INT_ADDIU k1, a1, VCPU_HOST_ARCH
173 INT_ADDIU t1, k1, VCPU_GUEST_KERNEL_ASID /* (BD) */
174 INT_ADDIU t1, k1, VCPU_GUEST_USER_ASID /* else user */
248 INT_ADDIU k0, k0, 0x2000 #06: Exception handler is
262 INT_ADDIU k1, k1, VCPU_HOST_ARCH
411 INT_ADDIU sp, sp, -PT_SIZE
435 INT_ADDIU sp, sp, -CALLFRAME_SIZ /* BD Slot */
448 INT_ADDIU k1, k1, VCPU_HOST_ARCH
492 INT_ADDIU t1, k1, VCPU_GUEST_KERNEL_ASID /* (BD) */
493 INT_ADDIU t1, k1, VCPU_GUEST_USER_ASID /* else user */
556 INT_ADDIU k1,k1, -PT_SIZE