Lines Matching refs:INT_ADDIU
56 INT_ADDIU k1, sp, -PT_SIZE
120 INT_ADDIU k1, a1, VCPU_HOST_ARCH
165 INT_ADDIU t1, k1, VCPU_GUEST_KERNEL_ASID /* (BD) */
166 INT_ADDIU t1, k1, VCPU_GUEST_USER_ASID /* else user */
240 INT_ADDIU k0, k0, 0x2000 #06: Exception handler is
254 INT_ADDIU k1, k1, VCPU_HOST_ARCH
403 INT_ADDIU sp, sp, -PT_SIZE
427 INT_ADDIU sp, sp, -CALLFRAME_SIZ /* BD Slot */
440 INT_ADDIU k1, k1, VCPU_HOST_ARCH
484 INT_ADDIU t1, k1, VCPU_GUEST_KERNEL_ASID /* (BD) */
485 INT_ADDIU t1, k1, VCPU_GUEST_USER_ASID /* else user */
548 INT_ADDIU k1,k1, -PT_SIZE