Searched refs:ppe_id (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/powerpc/ps3/ |
| H A D | ps3-hvcall.h | 51 int lv1_get_virtual_address_space_id_of_ppe(uint64_t ppe_id, uint64_t *vas_id);
56 int lv1_configure_irq_state_bitmap(uint64_t ppe_id, uint64_t cpu_id, uint64_t bitmap_addr);
57 int lv1_connect_irq_plug_ext(uint64_t ppe_id, uint64_t cpu_id, uint64_t virq, uint64_t outlet, uint…
60 int lv1_disconnect_irq_plug_ext(uint64_t ppe_id, uint64_t cpu_id, uint64_t virq);
67 int lv1_end_of_interrupt_ext(uint64_t ppe_id, uint64_t cpu_id, uint64_t virq);
68 int lv1_did_update_interrupt_mask(uint64_t ppe_id, uint64_t cpu_id);
76 int lv1_get_logical_ppe_id(uint64_t *ppe_id);
|
| H A D | platform_ps3.c | 268 uint64_t lpar_id, junk, ppe_id; in ps3_real_maxaddr() local
274 lv1_get_logical_ppe_id(&ppe_id); in ps3_real_maxaddr()
279 ppe_id, lv1_repository_string("rm_size"), in ps3_real_maxaddr()
|