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

/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dhardware.h19 #define PAGE_BASE(_p, _s) ((_p) & ~MASK(pageBitsForSize((_s))))
20 #define PAGE_OFFSET(_p, _s) ((_p) & MASK(pageBitsForSize((_s))))
21 #define IS_PAGE_ALIGNED(_p, _s) (((_p) & MASK(pageBitsForSize((_s)))) == 0)
/seL4-camkes-master/projects/picotcp/include/
H A Dpico_config.h57 static inline uint16_t short_from(void *_p) argument
59 unsigned char *p = (unsigned char *)_p;
67 static inline uint32_t long_from(void *_p) argument
69 unsigned char *p = (unsigned char *)_p;
81 static inline uint16_t short_from(void *_p) argument
83 unsigned char *p = (unsigned char *)_p;
91 static inline uint32_t long_from(void *_p) argument
93 unsigned char *p = (unsigned char *)_p;
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_igmp.c1107 struct mcast_parameters *_p = NULL; local
1112 _p = index->keyValue;
1113 _p->max_resp_time = p->max_resp_time;
1114 _p->event = IGMP_EVENT_QUERY_RECV;
1115 igmp_dbg("IGMP: for each mcast_group = %08X | state = %u\n", _p->mcast_group.ip4.addr, _p->state);
1116 host_membership_diagram_table[_p->state][_p->event](_p);
H A Dpico_mld.c1121 struct mcast_parameters *_p; local
1129 _p = index->keyValue;
1130 _p->max_resp_time = p->max_resp_time;
1131 _p->event = MLD_EVENT_QUERY_RECV;
1133 mld_dbg("MLD: for each mcast_group = %s | state = %u\n", ipv6, _p->state);
1135 return mld_state_diagram[_p->state][_p->event](_p);

Completed in 38 milliseconds