Home
last modified time | relevance | path

Searched refs:gicc_write_BPR (Results 1 – 2 of 2) sorted by relevance

/device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/v2/
Dgicv2_private.h129 static inline void gicc_write_BPR(uintptr_t base, unsigned int val) in gicc_write_BPR() function
/device/linaro/bootloader/arm-trusted-firmware/include/drivers/arm/
Dgic_v2.h246 static inline void gicc_write_BPR(uintptr_t base, unsigned int val) in gicc_write_BPR() function