Searched refs:UINTP (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/drivers/serial/
H A Dexynos4210-uart.c24 #define UINTP 0x0030 /* interrupt pending */ macro
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/uart/
H A Dexynos-uart.c25 #define UINTP 0x0030 /* interrupt pending */ macro
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dserial.c50 #define UINTP 0x0030 /* interrupt pending */ macro
211 *REG_PTR(d->vaddr, UINTP) = INT_TX;
239 *REG_PTR(d->vaddr, UINTP) = INT_TX;
263 *REG_PTR(d->vaddr, UINTP) = INT_RX;
321 *REG_PTR(d->vaddr, UINTP) = INT_RX;
331 return *REG_PTR(d->vaddr, UINTP);
337 sts = *REG_PTR(d->vaddr, UINTP);
347 sts = *REG_PTR(d->vaddr, UINTP);
357 sts = *REG_PTR(d->vaddr, UINTP);
519 *REG_PTR(dev->vaddr, UINTP)
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvuart.c32 #define UINTP 0x030 /* interrupt pending */ macro
229 mask[UINTP / 4] = 0xffffffff;

Completed in 44 milliseconds